diff options
| author | Ismael Luceno | 2019-08-20 20:25:58 +0200 |
|---|---|---|
| committer | Ismael Luceno | 2019-08-20 21:19:28 +0200 |
| commit | 1ade138a1323569c7e02f88ce614238cd98a7379 (patch) | |
| tree | 52b13f61ef582aacf70d5a215445b8a4e35830dc /ChangeLog | |
| parent | 33fb668917b5498dfe2528e98c59f69ec19654e4 (diff) | |
ocamlbuild: new spell, generic build tool
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 |