DTDs/Tasks-4.2.dtd

branch
eric7
changeset 8373
4f81e18e4d81
parent 8372
e0227a7c850e
child 8374
82151410efbb
--- 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>

eric ide

mercurial