diff -r 847bffdacc69 -r 565021ad7e34 resources/UIPainter.rs --- a/resources/UIPainter.rs Tue Feb 03 19:07:19 2004 +0100 +++ b/resources/UIPainter.rs Mon Feb 09 12:31:49 2004 +0100 @@ -1,4 +1,4 @@ -#encoding iso8859 +#encoding iso8859-1 ; ; $Header$