1 Commits

Author SHA1 Message Date
batkiz
90b5a8b5f9
lean-cli: add version 0.24.2 (#1648)
* lean-cli: add version 0.24.1

* Update lean-cli.json

* lean-cli: update to version 0.24.2

Co-authored-by: Chawye Hsu <chawyehsu@hotmail.com>
2021-01-21 07:33:22 -08:00