X-Git-Url: http://git.onelab.eu/?a=blobdiff_plain;f=PLC%2FShell.py;h=43317a02128a078191351db621f698673d855f01;hb=abef31240c9e9e498928da73f6db8cbe0ecede60;hp=6e4a77b250b620748184729b12142e5f3eed8ae6;hpb=dc284781b50951778096561befcaa1bd33394168;p=plcapi.git

diff --git a/PLC/Shell.py b/PLC/Shell.py
index 6e4a77b..43317a0 100644
--- a/PLC/Shell.py
+++ b/PLC/Shell.py
@@ -5,7 +5,7 @@
 # Mark Huang <mlhuang@cs.princeton.edu>
 # Copyright (C) 2005 The Trustees of Princeton University
 #
-# $Id$
+# $Id: Shell.py 5574 2007-10-25 20:33:17Z thierry $
 #
 
 import os