diff --git a/default.xml b/default.xml index 81ce1ee..b1ef0b3 100644 --- a/default.xml +++ b/default.xml @@ -8,6 +8,7 @@ path : installation path of the repository --> +