diff options
author | 2017-01-24 12:35:43 +0100 | |
---|---|---|
committer | 2017-01-24 12:35:43 +0100 | |
commit | c7492429d64f954d165c5345376f0253026713c2 (patch) | |
tree | 2e48a14e1e52829102fd3f183cebd0ed2d286ded /dev-ml/ppx_driver | |
parent | dev-ml/ppx_custom_printf: remove old (diff) | |
download | gentoo-c7492429d64f954d165c5345376f0253026713c2.tar.gz gentoo-c7492429d64f954d165c5345376f0253026713c2.tar.bz2 gentoo-c7492429d64f954d165c5345376f0253026713c2.zip |
dev-ml/ppx_deriving: remove old
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Diffstat (limited to 'dev-ml/ppx_driver')
0 files changed, 0 insertions, 0 deletions