summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSam James <sam@gentoo.org>2021-03-15 03:16:33 +0000
committerSam James <sam@gentoo.org>2021-03-15 04:02:02 +0000
commitb71783086519a86406a67a494f6fd3e4a8175eab (patch)
tree97365d9cf908acbf67858d2921a9853f06d27867 /dev-ml/ppx_tools_versioned
parentdev-ml/dune-private-libs: drop 2.7.1 (diff)
downloadgentoo-b71783086519a86406a67a494f6fd3e4a8175eab.tar.gz
gentoo-b71783086519a86406a67a494f6fd3e4a8175eab.tar.bz2
gentoo-b71783086519a86406a67a494f6fd3e4a8175eab.zip
dev-ml/dune-configurator: drop 2.7.1
Signed-off-by: Sam James <sam@gentoo.org>
Diffstat (limited to 'dev-ml/ppx_tools_versioned')
0 files changed, 0 insertions, 0 deletions