diff options
author | Phil Burk <[email protected]> | 2020-07-02 07:42:37 -0700 |
---|---|---|
committer | GitHub <[email protected]> | 2020-07-02 07:42:37 -0700 |
commit | 20398a1bca9ce8a97e9c27b23c964474b3110aa4 (patch) | |
tree | 7e75b941945f8ec3027e2056bd0dc9d6a96d49ff | |
parent | a10c3dcf60ffbc49dc4188e948d207257ef4a7b2 (diff) | |
parent | 17fdf06f5bf93e2c2127f66d043571a5ab1eefee (diff) |
Merge pull request #81 from philburk/usejava8v16.8.1
build: use java 1.8 in ant script
-rw-r--r-- | build.xml | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -9,7 +9,7 @@ <property name="dist" location="dist"/> <property name="main-class" value="com.jsyn.apps.AboutJSyn"/> <property name="jarname" value="jsyn"/> - <property name="java-version" value="1.6"/> + <property name="java-version" value="1.8"/> <target name="init"> <!-- Create the time stamp --> |