From 7abbb815dc4a5b6a8233ce1c1be7da6d6869a40a Mon Sep 17 00:00:00 2001 From: Michael Mair-Keimberger Date: Wed, 27 Dec 2017 10:44:48 +0100 Subject: [PATCH] dev-java/mina-core: remove unused file Closes: https://github.com/gentoo/gentoo/pull/6657 --- dev-java/mina-core/files/build.xml | 17 ----------------- 1 file changed, 17 deletions(-) delete mode 100644 dev-java/mina-core/files/build.xml diff --git a/dev-java/mina-core/files/build.xml b/dev-java/mina-core/files/build.xml deleted file mode 100644 index dc667782ba281..0000000000000 --- a/dev-java/mina-core/files/build.xml +++ /dev/null @@ -1,17 +0,0 @@ - - - - - - - - - - - - - - - - -