summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSam James <sam@gentoo.org>2021-03-22 04:12:57 +0000
committerSam James <sam@gentoo.org>2021-04-04 06:09:03 +0000
commit1edfd1cccd8a38127e2def1fd763229481651285 (patch)
tree6b522c1cfb150eb739fd47b9d66969a3cd5d83e6 /dev-ml/ocamlify/Manifest
parentdev-ml/iTeML: treeclean (diff)
downloadgentoo-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