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}"/>