X-Git-Url: http://git.onelab.eu/?a=blobdiff_plain;f=build_devel.sh;h=55d46427c8b7e97126f6aefc6d0221c5b1a93175;hb=effaa2138be88157b2322de42fe9395694918acf;hp=1f755ec6cb478530b35379032e8045f6984baab3;hpb=391310e122de0536c08f62bd46acd3b3b7b13964;p=myplc.git

diff --git a/build_devel.sh b/build_devel.sh
index 1f755ec..55d4642 100755
--- a/build_devel.sh
+++ b/build_devel.sh
@@ -15,7 +15,7 @@
 # Mark Huang <mlhuang@cs.princeton.edu>
 # Copyright (C) 2006 The Trustees of Princeton University
 #
-# $Id: build_devel.sh 1078 2007-11-15 13:38:27Z thierry $
+# $Id$
 #
 
 echo "$0" not supported anymore