X-Git-Url: http://git.onelab.eu/?a=blobdiff_plain;f=tools.py;h=94ba2d12eb2cca27d3df74dd2a5887706f05e6d7;hb=3224c1906c82596a86ae734181488ed14a0f0976;hp=122b321d54d4886abd35bd431020c218ee66359c;hpb=505d267ea72023fd0fe91bda9074a94d71a19c74;p=nodemanager.git

diff --git a/tools.py b/tools.py
index 122b321..94ba2d1 100644
--- a/tools.py
+++ b/tools.py
@@ -1,3 +1,6 @@
+# $Id$
+# $URL$
+
 """A few things that didn't seem to fit anywhere else."""
 
 import cPickle