From 6075fe7bc031c565a60ef77dc51fe97459d23622 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 21:50:10 +0200
Subject: [PATCH] codemux name change

---
 module-tools.py | 1 +
 1 file changed, 1 insertion(+)

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"
     }
 
-- 
2.43.0