writer2latex/writer2latex-java11.patch
2020-05-05 20:16:15 +01:00

11 lines
398 B
Diff

--- writer2latex/build.xml 2020-05-05 20:11:40.750538948 +0100
+++ writer2latex/build.xml 2020-05-05 20:11:56.370671223 +0100
@@ -69,7 +69,7 @@
<javac srcdir="${src}"
destdir="${classes}"
encoding="us-ascii"
- source="1.4"
+ source="1.6"
debug="on">
<classpath refid="main.class.path"/>
</javac>