diff options
author | 2021-02-11 06:31:11 +0000 | |
---|---|---|
committer | 2021-02-11 06:31:11 +0000 | |
commit | f1ed6cc2fed8c173e0373047bee17dcce023ecf5 (patch) | |
tree | f9e2bdc081896e9d6a9c1d14f39bc2d7b8e28179 /dev-ml/ppx_sexp_value | |
parent | dev-ml/ppx_let: Stabilize 0.14.0 ppc, #769317 (diff) | |
download | gentoo-f1ed6cc2fed8c173e0373047bee17dcce023ecf5.tar.gz gentoo-f1ed6cc2fed8c173e0373047bee17dcce023ecf5.tar.bz2 gentoo-f1ed6cc2fed8c173e0373047bee17dcce023ecf5.zip |
dev-ml/ppx_sexp_message: Stabilize 0.14.0 ppc, #769317
Signed-off-by: Sam James <sam@gentoo.org>
Diffstat (limited to 'dev-ml/ppx_sexp_value')
0 files changed, 0 insertions, 0 deletions