diff options
author | aclement <aclement> | 2009-02-12 16:16:43 +0000 |
---|---|---|
committer | aclement <aclement> | 2009-02-12 16:16:43 +0000 |
commit | 797c4225a81d0ec9f76f006afa5e825ec33c93fd (patch) | |
tree | d4d16c432d39483b3e21081ec579c7451bd6dfec | |
parent | d306fe2c24893ec635f03e41ea6dc84a76ffa92d (diff) | |
download | aspectj-797c4225a81d0ec9f76f006afa5e825ec33c93fd.tar.gz aspectj-797c4225a81d0ec9f76f006afa5e825ec33c93fd.zip |
maven repo option
-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 |