Changeset 313 for java/FramclipsePlugin/src/main/resources/framscript.dtd

Timestamp:

01/26/15 11:41:13 (9 years ago)

Author:

sz

Message:

"flags" attribute added

File:

• java/FramclipsePlugin/src/main/resources/framscript.dtd (modified) (1 diff)

java/FramclipsePlugin/src/main/resources/framscript.dtd

@@ -24 +24 @@
 <!ATTLIST element deprecated (false|true) "false">
 <!ATTLIST element default CDATA #IMPLIED>
+<!ATTLIST element flags CDATA #IMPLIED>
 
 <!-- important difference: no <arguments> tag means the argument number is not known