diff options
Diffstat (limited to 'ChangeLog')
-rw-r--r-- | ChangeLog | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -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 |