dev-ml: remove custom_printf. moved to ppx_custom_printf.
authorAlexis Ballier <aballier@gentoo.org>
Tue, 16 Feb 2016 14:45:25 +0000 (15:45 +0100)
committerAlexis Ballier <aballier@gentoo.org>
Tue, 16 Feb 2016 14:45:25 +0000 (15:45 +0100)
commit05895dc780cf2621f2118ddd7bb97c43ac051fd3
treee79650943afbf6e6d92e69993a34d047d3b5703f
parentd12a48e7fe4d874edd060bb839823e173ed4f96a
dev-ml: remove custom_printf. moved to ppx_custom_printf.
dev-ml/custom_printf/Manifest [deleted file]
dev-ml/custom_printf/custom_printf-112.24.00.ebuild [deleted file]
dev-ml/custom_printf/custom_printf-113.00.00.ebuild [deleted file]
dev-ml/custom_printf/metadata.xml [deleted file]