summaryrefslogtreecommitdiffstats
path: root/ChangeLog
diff options
context:
space:
mode:
Diffstat (limited to 'ChangeLog')
-rw-r--r--ChangeLog1
1 files changed, 1 insertions, 0 deletions
diff --git a/ChangeLog b/ChangeLog
index bfd6dc6a5a..18063c31c9 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,6 @@
2019-08-20 Ismael Luceno <ismael@sourcemage.org>
* devel/z3: new spell, The Z3 Theorem Prover
+ * devel/ocamlbuild: new spell, generic build tool
2019-08-17 Vlad Glagolev <stealth@sourcemage.org>
* utils/perf: new spell, Linux performance analyzing tool