diff options
| -rw-r--r-- | build/sample.local.properties | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/build/sample.local.properties b/build/sample.local.properties index 81432f545..e5c99b17e 100644 --- a/build/sample.local.properties +++ b/build/sample.local.properties @@ -4,6 +4,8 @@ build.version=DEVELOPMENT build.version.base=1.5 build.version.long=DEVELOPMENT build.version.short=DEVELOPMENT +# 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 |