diff --git a/extractor/build.xml b/extractor/build.xml index a9051aa607..99b8f1718a 100644 --- a/extractor/build.xml +++ b/extractor/build.xml @@ -41,6 +41,7 @@ + @@ -52,6 +53,7 @@ + @@ -78,6 +80,9 @@ + + + diff --git a/extractor/project.properties b/extractor/project.properties index a499bf3e17..78943da890 100644 --- a/extractor/project.properties +++ b/extractor/project.properties @@ -6,7 +6,7 @@ # $Id$ name=acegi-security-lib-extractor -extractor-version=0.3 +extractor-version=0.4 tmp.dir=${basedir}/temporary