summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authoraclement <aclement>2009-02-12 16:16:43 +0000
committeraclement <aclement>2009-02-12 16:16:43 +0000
commit797c4225a81d0ec9f76f006afa5e825ec33c93fd (patch)
treed4d16c432d39483b3e21081ec579c7451bd6dfec
parentd306fe2c24893ec635f03e41ea6dc84a76ffa92d (diff)
downloadaspectj-797c4225a81d0ec9f76f006afa5e825ec33c93fd.tar.gz
aspectj-797c4225a81d0ec9f76f006afa5e825ec33c93fd.zip
maven repo option
-rw-r--r--build/sample.local.properties2
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