dev-lang/maude: remove unused patch
authorMichael Mair-Keimberger (asterix) <m.mairkeimberger@gmail.com>
Wed, 9 Aug 2017 09:36:13 +0000 (11:36 +0200)
committerDavid Seifert <soap@gentoo.org>
Sun, 13 Aug 2017 11:24:22 +0000 (13:24 +0200)
commit788ad814089396518ce55e73e109aa02deb2831a
tree8633653a9832db01b6bf69770b09a2559d133f89
parent494fc45e463b81f1baa77f324948e5f9d50478b7
dev-lang/maude: remove unused patch

Closes: https://github.com/gentoo/gentoo/pull/5370
dev-lang/maude/files/maude-2.6-gcc47.patch [deleted file]