dev-ml/facile: remove unused patch
authorMichael Mair-Keimberger (asterix) <m.mairkeimberger@gmail.com>
Tue, 8 Aug 2017 16:20:41 +0000 (18:20 +0200)
committerAndreas Sturmlechner <asturm@gentoo.org>
Tue, 8 Aug 2017 17:15:28 +0000 (19:15 +0200)
commit9e4ee21441d8265d5702bda2d1f02c4dec0fb115
tree32fc8ab663e87070f66a184dfecf78cb0e211348
parent50e46a94c460f838dbf8d181fa6fc5a60f9ee0cd
dev-ml/facile: remove unused patch

Closes: https://github.com/gentoo/gentoo/pull/5358
dev-ml/facile/files/facile-1.1-ocaml4.patch [deleted file]