diff --git a/ant-build.xml.patch b/ant-build.xml.patch index 9c4652f..e51a6f5 100644 --- a/ant-build.xml.patch +++ b/ant-build.xml.patch @@ -1,14 +1,5 @@ --- build.xml~ 2021-05-17 12:32:48.406394876 +0200 +++ build.xml 2021-05-17 12:32:39.990389601 +0200 -@@ -145,8 +145,6 @@ - --> - - -- -- - - -