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.1-2
[myplc.git]
/
plc_config.dtd
diff --git
a/plc_config.dtd
b/plc_config.dtd
index
9eea2fa
..
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$
-->
<!ELEMENT configuration (variables, comps)>