diff options
author | 2021-03-22 04:12:57 +0000 | |
---|---|---|
committer | 2021-04-04 06:09:03 +0000 | |
commit | 1edfd1cccd8a38127e2def1fd763229481651285 (patch) | |
tree | 6b522c1cfb150eb739fd47b9d66969a3cd5d83e6 /dev-ml/ocamlify/Manifest | |
parent | dev-ml/iTeML: treeclean (diff) | |
download | gentoo-1edfd1cccd8a38127e2def1fd763229481651285.tar.gz gentoo-1edfd1cccd8a38127e2def1fd763229481651285.tar.bz2 gentoo-1edfd1cccd8a38127e2def1fd763229481651285.zip |
dev-ml/ocaml-re: treeclean
Signed-off-by: Sam James <sam@gentoo.org>
Diffstat (limited to 'dev-ml/ocamlify/Manifest')
0 files changed, 0 insertions, 0 deletions