resources/UIHelpTool_de.rs
changeset 1784 565021ad7e34
parent 1783 847bffdacc69
equal deleted inserted replaced
1783:847bffdacc69 1784:565021ad7e34
     1 #encoding iso8859
     1 #encoding iso8859-1
     2 
     2 
     3 ;
     3 ;
     4 ; $Header$
     4 ; $Header$
     5 ;
     5 ;
     6 ; this file contains 8bit national characters;
     6 ; this file contains 8bit national characters;