--- a/DTDs/Tasks-4.2.dtd Mon May 24 11:19:57 2021 +0200 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,26 +0,0 @@ -<!-- This is the DTD for eric5's tasks file version 4.2 --> - -<!ELEMENT Summary (#PCDATA)> - -<!ELEMENT Description (#PCDATA)> - -<!ELEMENT Created (#PCDATA)> - -<!ELEMENT Filename (#PCDATA)> - -<!ELEMENT Linenumber (#PCDATA)> - -<!ELEMENT Resource (Filename, Linenumber)> - -<!ELEMENT Task (Summary, - Description, - Created, - Resource?)> -<!ATTLIST Task - priority CDATA #REQUIRED - completed CDATA #REQUIRED - bugfix CDATA #IMPLIED> - -<!ELEMENT Tasks (Task*)> -<!ATTLIST Tasks - version CDATA #REQUIRED>