diff options
Diffstat (limited to 'docs/src/main/resources/local.properties')
| -rw-r--r-- | docs/src/main/resources/local.properties | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/docs/src/main/resources/local.properties b/docs/src/main/resources/local.properties deleted file mode 100644 index a3cd6d2fe..000000000 --- a/docs/src/main/resources/local.properties +++ /dev/null @@ -1,12 +0,0 @@ -# for non-release builds, versions should all be DEVELOPMENT -# except for build.version.base -build.version=${project.version} -build.version.base=1.5 -build.version.long=${project.version} -build.version.short=${project.version} -# 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 |