Sat, 02 Mar 2019 11:15:24 +0100
Merged with default branch to prepare a new release.
<!-- 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>