From 9ac31573b43a2fec29cf320c4581fbda70e51cc7 Mon Sep 17 00:00:00 2001 From: zzz Date: Sun, 1 Jul 2018 14:16:56 +0000 Subject: [PATCH] Build: Move Jetty/Tomcat version properties to top-level build.xml --- apps/jetty/build.xml | 14 +++++++++----- build.xml | 21 ++++++++++++--------- 2 files changed, 21 insertions(+), 14 deletions(-) diff --git a/apps/jetty/build.xml b/apps/jetty/build.xml index c95c3c43d..be33c27b6 100644 --- a/apps/jetty/build.xml +++ b/apps/jetty/build.xml @@ -13,11 +13,10 @@ the source in the java/ directory. --> - - + + - @@ -27,8 +26,6 @@ - - + + + + + + + diff --git a/build.xml b/build.xml index f853121fe..9973d6fde 100644 --- a/build.xml +++ b/build.xml @@ -7,6 +7,9 @@ --> + + + @@ -1406,7 +1409,7 @@ - + @@ -2411,9 +2414,9 @@ - + - + @@ -2493,8 +2496,8 @@ - - + + @@ -2646,8 +2649,8 @@ --> - - + +