From fe1e3f3032f73dc834b4273595bb8dd036a0b1c8 Mon Sep 17 00:00:00 2001 From: "Michael Mair-Keimberger (asterix)" Date: Mon, 14 Aug 2017 10:38:44 +0200 Subject: [PATCH] dev-java/jmi-interface: remove unused file. --- .../files/jmi-interface-1.0-build.xml | 56 ------------------- 1 file changed, 56 deletions(-) delete mode 100644 dev-java/jmi-interface/files/jmi-interface-1.0-build.xml diff --git a/dev-java/jmi-interface/files/jmi-interface-1.0-build.xml b/dev-java/jmi-interface/files/jmi-interface-1.0-build.xml deleted file mode 100644 index c14915fd17614..0000000000000 --- a/dev-java/jmi-interface/files/jmi-interface-1.0-build.xml +++ /dev/null @@ -1,56 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -