dev-java/mina-core: remove unused file
authorMichael Mair-Keimberger <m.mairkeimberger@gmail.com>
Wed, 27 Dec 2017 09:44:48 +0000 (10:44 +0100)
committerJames Le Cuirot <chewi@gentoo.org>
Wed, 27 Dec 2017 10:01:19 +0000 (10:01 +0000)
commit7abbb815dc4a5b6a8233ce1c1be7da6d6869a40a
tree496a9f26fc915b3200288fe1ea2a0c9a70f94ab1
parent703a14c1f1afbf1d4b13a068c5ade12cb877d72f
dev-java/mina-core: remove unused file

Closes: https://github.com/gentoo/gentoo/pull/6657
dev-java/mina-core/files/build.xml [deleted file]