git://git.onelab.eu
/
myplc.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
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)>