dev-lang/polyml: remove unused patch.
authorMichael Mair-Keimberger (asterix) <m.mairkeimberger@gmail.com>
Sat, 6 Aug 2016 15:06:34 +0000 (17:06 +0200)
committerPatrice Clement <monsieurp@gentoo.org>
Mon, 10 Oct 2016 12:07:42 +0000 (14:07 +0200)
commit4a25398a4b6d2199fc84a5ec726d4f45c5a8850e
treee7a459c357c4a8bad341a680b40421822ebccb7d
parent41ded8cb9779319e3c78ad16ac07936c03a13df5
dev-lang/polyml: remove unused patch.

Closes: https://github.com/gentoo/gentoo/pull/2164

Acked-By: Alexis Baller <aballier@gentoo.org>
Signed-off-by: Patrice Clement <monsieurp@gentoo.org>
dev-lang/polyml/files/polyml-5.5.1-mprotect-exec.patch [deleted file]