maven repo option

diff --git a/build/sample.local.properties b/build/sample.local.properties
index 81432f545e5b6c3569a0be7e5281ead5909e592d..e5c99b17e31ba65297d4bcae5bf8dfafa9ca6430 100644 (file)
--- 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