diff options
Diffstat (limited to 'java/jakarta-commons-pool/files/patch-build.xml')
| -rw-r--r-- | java/jakarta-commons-pool/files/patch-build.xml | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/java/jakarta-commons-pool/files/patch-build.xml b/java/jakarta-commons-pool/files/patch-build.xml index d82eb5bb0f09..bb1ff678dfc1 100644 --- a/java/jakarta-commons-pool/files/patch-build.xml +++ b/java/jakarta-commons-pool/files/patch-build.xml @@ -1,11 +1,11 @@ ---- build.xml.orig 2012-01-10 13:14:30.000000000 +0100 -+++ build.xml 2012-01-10 13:14:40.000000000 +0100 +--- build.xml.orig 2016-06-20 15:05:02 UTC ++++ build.xml @@ -40,7 +40,7 @@ -
- <property name="name" value="commons-pool"/>
- <property name="title" value="Apache Commons Object Pooling Package"/>
-- <property name="version" value="1.6-SNAPSHOT"/>
-+ <property name="version" value="1.6"/>
- <property name="package" value="org.apache.commons.pool.*"/>
-
- <property name="src.dir" value="${basedir}/src"/>
+ + <property name="name" value="commons-pool"/> + <property name="title" value="Apache Commons Object Pooling Package"/> +- <property name="version" value="1.6-SNAPSHOT"/> ++ <property name="version" value="1.6"/> + <property name="package" value="org.apache.commons.pool.*"/> + + <property name="src.dir" value="${basedir}/src"/> |