dev-java/jmi-interface: remove unused file.
authorMichael Mair-Keimberger (asterix) <m.mairkeimberger@gmail.com>
Mon, 14 Aug 2017 08:38:44 +0000 (10:38 +0200)
committerPatrice Clement <monsieurp@gentoo.org>
Mon, 14 Aug 2017 21:50:45 +0000 (23:50 +0200)
commitfe1e3f3032f73dc834b4273595bb8dd036a0b1c8
tree232ce287086e34e83cbfb0f3e721f963701b8763
parent0332ad1c200af15120599af471f88f1ab82e2aa9
dev-java/jmi-interface: remove unused file.
dev-java/jmi-interface/files/jmi-interface-1.0-build.xml [deleted file]