From c1f4e8ed1205827ee1159f36f964972f09c0ec66 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Bar=C4=B1=C5=9F=20Metin?= <Talip-Baris.Metin@sophia.inria.fr>
Date: Thu, 8 Jul 2010 15:56:27 +0200
Subject: [PATCH] nodemanager moved to git and has a new name
---
module-tools.py | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/module-tools.py b/module-tools.py
index c9363f27..12724976 100755
--- a/module-tools.py
+++ b/module-tools.py
@@ -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):
--
2.47.0