--- a/DTDs/Shortcuts-3.6.dtd Mon May 24 11:19:57 2021 +0200 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,13 +0,0 @@ -<!-- This is the DTD for eric3's shortcuts file version 3.6 --> - -<!ELEMENT Name (#PCDATA)> -<!ELEMENT Accel (#PCDATA)> -<!ELEMENT AltAccel (#PCDATA)> - -<!ELEMENT Shortcut (Name, Accel, AltAccel)> -<!ATTLIST Shortcut - category CDATA #REQUIRED> - -<!ELEMENT Shortcuts (Shortcut+)> -<!ATTLIST Shortcuts - version CDATA #REQUIRED>