Sat, 07 Sep 2019 17:35:43 +0200
Closed branch after it was merged into 'default'.
<!-- 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>