Setting tag myplc-5.3-5

[myplc.git] / plc_config.dtd

diff --git a/plc_config.dtd b/plc_config.dtd
index 1d2a753..d5d57b4 100644 (file)
--- a/plc_config.dtd
+++ b/plc_config.dtd
@@ -4,7 +4,6 @@ Specification for PLC configuration files
 Mark Huang <mlhuang@cs.princeton.edu>
 Copyright (C) 2006 The Trustees of Princeton University
 
-$Id: plc_config.dtd 129 2007-03-20 12:04:03Z thierry $
 -->
 
 <!ELEMENT configuration (variables, comps)>