Remove unused property jdk16.home

This commit is contained in:
Ilya Gorbunov
2017-05-12 23:55:17 +03:00
parent a4722a4000
commit a8766a00c6
-1
View File
@@ -2,7 +2,6 @@
<import file="build.xml" optional="false"/>
<property name="build.number" value="snapshot"/>
<property name="jdk16.home" value="${java.home}"/>
<property name="fail.on.plugin.verifier.error" value="true"/>
<property name="version_substitute_dir" value="${basedir}/versions_temp/"/>