build.xml
changeset 823 2036ebfaccda
parent 531 e344b51f93ff
child 825 b87f8688118c
--- a/build.xml	Thu Nov 19 19:01:21 2009 +0100
+++ b/build.xml	Fri Nov 20 19:29:42 2009 +0100
@@ -63,7 +63,7 @@
     <property name="source.dir" value="src" />
     <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}"/>