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>2017-01-06 06:00:07 +0300
committerLadar Levison <ladar@lavabit.com>2017-01-06 06:00:07 +0300
commit3673b0f73c69bc0f46f197821aab631585719037 (patch)
treebc607a704ae0d8475952cebf61949dbaaeeb5b46 /.project
parent0a2dd849a110dec5ef2911fad3821b90c07110e8 (diff)
The magma.distribution project is once again just magma.
Diffstat (limited to '.project')
-rw-r--r--.project2
1 files changed, 1 insertions, 1 deletions
diff --git a/.project b/.project
index 5ef6cbeb..827bafc3 100644
--- a/.project
+++ b/.project
@@ -1,6 +1,6 @@
<?xml version="1.0" encoding="UTF-8"?>
<projectDescription>
- <name>magma.distribution</name>
+ <name>magma</name>
<comment></comment>
<projects>
<project>magma.so</project>