* tentative merge of onelab myplc

[myplc.git] / plc_config.dtd

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