From 1ade138a1323569c7e02f88ce614238cd98a7379 Mon Sep 17 00:00:00 2001 From: Ismael Luceno Date: Tue, 20 Aug 2019 20:25:58 +0200 Subject: ocamlbuild: new spell, generic build tool --- ChangeLog | 1 + 1 file changed, 1 insertion(+) (limited to 'ChangeLog') diff --git a/ChangeLog b/ChangeLog index bfd6dc6a5a..18063c31c9 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,6 @@ 2019-08-20 Ismael Luceno * devel/z3: new spell, The Z3 Theorem Prover + * devel/ocamlbuild: new spell, generic build tool 2019-08-17 Vlad Glagolev * utils/perf: new spell, Linux performance analyzing tool -- cgit v1.2.3