git://git.onelab.eu / plcapi.git / blobdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | inline | side by side
merge from trunk
[plcapi.git] / PLC / Boot.py
diff --git a/PLC/Boot.py b/PLC/Boot.py
index cd3a738..00a33ca 100644 (file)
--- a/PLC/Boot.py
+++ b/PLC/Boot.py
@@ -4,7 +4,7 @@
 # Mark Huang <mlhuang@cs.princeton.edu>
 # Copyright (C) 2007 The Trustees of Princeton University
 #
-# $Id$
+# $Id: Boot.py 5574 2007-10-25 20:33:17Z thierry $
 #
 
 from PLC.Faults import *
plcapi