build.xml
changeset 839 0e5b95573614
parent 816 2116f901307e
parent 825 b87f8688118c
child 988 d7ddcccdff8a
--- a/build.xml	Tue Dec 21 23:50:59 2010 +0100
+++ b/build.xml	Sat Dec 25 17:01:00 2010 +0100
@@ -66,7 +66,7 @@
 
     <property name="javadoc.output" value="doc/javadoc" />
     <property name="external.libs.dir" value="libs" />
-
+	<property name="encoding" value="UTF-8" />
     <target name="clean"
 	description="Delete old build and dist directories">
 	<delete verbose="false" dir="${out.dir}"/>