diff options
Diffstat (limited to 'build/local.properties')
| -rw-r--r-- | build/local.properties | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/build/local.properties b/build/local.properties deleted file mode 100644 index b93e1c816..000000000 --- a/build/local.properties +++ /dev/null @@ -1,12 +0,0 @@ -# for non-release builds, versions should all be DEVELOPMENT -# except for build.version.base -build.version=1.8.2 -build.version.base=1.8 -build.version.long=1.8.2 -build.version.short=1.8.2 -# Repo version is for maven (as built with 'ant repo') -repo.version=1.6.4 -java11.home=c:/home/apps/jdk11 -java13.home=c:/home/apps/jdk13 -java14.home=c:/home/apps/jdk14 -java15.home=c:/home/apps/jdk15 |