Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/lavabit/magma.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLadar Levison <ladar@lavabit.com>2016-10-28 14:47:53 +0300
committerLadar Levison <ladar@lavabit.com>2016-10-28 14:47:53 +0300
commit96eac018eec9345d26682b374d1906bb01fa8bd1 (patch)
treeececbe3b8cf83d59df92a0e8ef44d9cb86f1006c /.project
parentf0ba3530e3320666f48dc270b4b1706c60e4f295 (diff)
Added PRIME key allocators.
Diffstat (limited to '.project')
-rw-r--r--.project1
1 files changed, 1 insertions, 0 deletions
diff --git a/.project b/.project
index cef24efa..620caa40 100644
--- a/.project
+++ b/.project
@@ -3,6 +3,7 @@
<name>magma.distribution</name>
<comment></comment>
<projects>
+ <project>magma.so</project>
</projects>
<buildSpec>
<buildCommand>