From 797c4225a81d0ec9f76f006afa5e825ec33c93fd Mon Sep 17 00:00:00 2001
From: aclement <aclement>
Date: Thu, 12 Feb 2009 16:16:43 +0000
Subject: [PATCH] maven repo option

---
 build/sample.local.properties | 2 ++
 1 file changed, 2 insertions(+)

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
-- 
2.39.5