dev-ml/ppx_deriving: remove unused patch
authorMichael Mair-Keimberger <m.mairkeimberger@gmail.com>
Wed, 27 Sep 2017 18:34:21 +0000 (20:34 +0200)
committerAlexis Ballier <aballier@gentoo.org>
Thu, 28 Sep 2017 08:08:11 +0000 (10:08 +0200)
commit5b14e0ecdf376d237c14d7c83ff2935f2cead796
tree8d6d05b113f0115c9a4d1179999f399cb2b4a44b
parent391c0b8fcce0821e97eb16655c4833bf2c74921d
dev-ml/ppx_deriving: remove unused patch
dev-ml/ppx_deriving/files/ocaml405.patch [deleted file]