ports/java/jakarta-commons-pool/files/patch-build.xml
2012-01-10 12:18:56 +00:00

11 lines
491 B
XML

--- build.xml.orig 2012-01-10 13:14:30.000000000 +0100
+++ build.xml 2012-01-10 13:14:40.000000000 +0100
@@ -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"/>