diff --git a/build_with_tools.xml b/build_with_tools.xml new file mode 100644 index 0000000..e0c5bc2 --- /dev/null +++ b/build_with_tools.xml @@ -0,0 +1,13 @@ + + + + + + + + + + + + diff --git a/default.xml b/default.xml index a630e8e..0ba5595 100644 --- a/default.xml +++ b/default.xml @@ -2,7 +2,7 @@ + fetch="." />