| 1234567891011121314 |
- Index: build.xml
- diff -Nau build.xml.orig build.xml
- --- build.xml.orig 2004-12-07 23:12:04.000000000 +0100
- +++ build.xml 2005-05-10 19:36:04.030015107 +0200
- @@ -163,6 +163,8 @@
- debug="${debug}"
- deprecation="${deprecation}"
- optimize="${optimize}"
- + source="${source}"
- + nowarn="${nowarn}"
- includeAntRuntime="false">
- <classpath refid="build.classpath"/>
- </javac>
|
