X-Git-Url: http://git.onelab.eu/?a=blobdiff_plain;f=config.py;h=f9c5920cf2bad5257db8a89bc9b477d0b2069ba7;hb=3224c1906c82596a86ae734181488ed14a0f0976;hp=5b890de0e83cc333010da91eeb77b183f981c69d;hpb=505d267ea72023fd0fe91bda9074a94d71a19c74;p=nodemanager.git

diff --git a/config.py b/config.py
index 5b890de..f9c5920 100644
--- a/config.py
+++ b/config.py
@@ -1,5 +1,8 @@
 #!/usr/bin/python
 #
+# $Id$
+# $URL$
+#
 # Parses the PLC configuration file /etc/planetlab/plc_config, which
 # is bootstrapped by Boot Manager, but managed by us.
 #