diff -r 27ce01e44a5f -r 4bdc6503df81 DTDs/DebuggerProperties-3.9.dtd --- a/DTDs/DebuggerProperties-3.9.dtd Sun Jun 17 13:09:00 2018 +0200 +++ b/DTDs/DebuggerProperties-3.9.dtd Sun Jun 17 16:56:10 2018 +0200 @@ -1,4 +1,5 @@ -<!-- This is the DTD for eric3's project session file version 3.9 --> +<!-- This is the DTD for eric3's project debugger properties file + version 3.9 --> <!ELEMENT Interpreter (#PCDATA)>