From 04ca24d7dc45994dae9aa90334b18059456c3b30 Mon Sep 17 00:00:00 2001 From: Thomas Koch Date: Sun, 10 Jul 2022 12:31:13 +0000 Subject: [PATCH] rm dead stuff from build.xml --- build.xml | 22 ++-------------------- 1 file changed, 2 insertions(+), 20 deletions(-) diff --git a/build.xml b/build.xml index 5e5135a20..7cb49fb1f 100644 --- a/build.xml +++ b/build.xml @@ -49,7 +49,6 @@ - @@ -58,11 +57,6 @@ - - - - - @@ -130,7 +124,7 @@ - + @@ -141,18 +135,6 @@ - - - - +