diff --git a/build.xml b/build.xml index 7dace4d04..cec2f8f49 100644 --- a/build.xml +++ b/build.xml @@ -109,7 +109,7 @@ - + @@ -361,17 +361,17 @@ - + - + - + diff --git a/as-pom.xml b/etc/as-pom.xml similarity index 100% rename from as-pom.xml rename to etc/as-pom.xml diff --git a/gwt-pom.xml b/etc/gwt-pom.xml similarity index 100% rename from gwt-pom.xml rename to etc/gwt-pom.xml diff --git a/tools-pom.xml b/etc/tools-pom.xml similarity index 100% rename from tools-pom.xml rename to etc/tools-pom.xml