From: aclement <aclement>
Date: Thu, 12 Feb 2009 16:16:43 +0000 (+0000)
Subject: maven repo option
X-Git-Tag: pre268419~115
X-Git-Url: https://source.dussan.org/?a=commitdiff_plain;h=797c4225a81d0ec9f76f006afa5e825ec33c93fd;p=aspectj.git

maven repo option
---

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