nodemanager moved to git and has a new name
authorBarış Metin <Talip-Baris.Metin@sophia.inria.fr>
Thu, 8 Jul 2010 13:56:27 +0000 (15:56 +0200)
committerBarış Metin <Talip-Baris.Metin@sophia.inria.fr>
Thu, 8 Jul 2010 13:56:27 +0000 (15:56 +0200)
module-tools.py

index c9363f2..1272497 100755 (executable)
@@ -17,7 +17,8 @@ RENAMED_SVN_MODULES = {
     "BootCD": "bootcd",
     "VserverReference": "vserverreference",
     "BootstrapFS": "bootstrapfs",
-    "MyPLC": "myplc"
+    "MyPLC": "myplc",
+    "NodeManager": "nodemanager"
     }
 
 def svn_to_git_name(module):