diff -r ced935b952ef -r 6cd49ffea600 sysdef_1_4_0.dtd --- a/sysdef_1_4_0.dtd Tue Jun 15 16:07:48 2010 +0100 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,86 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -