DTDs/UserProject-4.0.dtd

branch
eric7
changeset 8373
4f81e18e4d81
parent 8372
e0227a7c850e
child 8374
82151410efbb
--- a/DTDs/UserProject-4.0.dtd	Mon May 24 11:19:57 2021 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,12 +0,0 @@
-<!-- This is the DTD for eric4's user project file version 4.0 -->
-
-<!ELEMENT   VcsType                     (#PCDATA)>
-
-<!ELEMENT   VcsStatusMonitorInterval    EMPTY>
-<!ATTLIST   VcsStatusMonitorInterval
-    value       CDATA   #REQUIRED>
-
-<!ELEMENT   UserProject                 (VcsType?,
-                                         VcsStatusMonitorInterval?)>
-<!ATTLIST   UserProject
-    version     CDATA   #REQUIRED>

eric ide

mercurial