From f48db2914f5d417dc2873d50a04e594444927e9b Mon Sep 17 00:00:00 2001 From: Ingolf Steinhardt Date: Wed, 5 Feb 2020 16:54:00 +0100 Subject: [PATCH] Hotfix build.xml --- build.xml | 1 + 1 file changed, 1 insertion(+) diff --git a/build.xml b/build.xml index ad7f8bf..12282dc 100644 --- a/build.xml +++ b/build.xml @@ -8,4 +8,5 @@ --> +