From: Barış Metin <Talip-Baris.Metin@sophia.inria.fr>
Date: Thu, 8 Jul 2010 19:50:10 +0000 (+0200)
Subject: codemux name change
X-Git-Tag: 5.0-rc12~22
X-Git-Url: http://git.onelab.eu/?a=commitdiff_plain;h=6075fe7bc031c565a60ef77dc51fe97459d23622;p=build.git

codemux name change
---

diff --git a/module-tools.py b/module-tools.py
index 3620342b..907fe3d6 100755
--- a/module-tools.py
+++ b/module-tools.py
@@ -18,6 +18,7 @@ RENAMED_SVN_MODULES = {
     "VserverReference": "vserver-reference",
     "BootstrapFS": "bootstrapfs",
     "MyPLC": "myplc",
+    "CoDemux": "codemux",
     "NodeManager": "nodemanager"
     }