Commit graph

3 commits

Author SHA1 Message Date
82f99de39c use cmdliner 2022-01-27 12:58:01 +01:00
rand00
3a738d9299 app/dune: Gave public name to support dune exec 2022-01-05 20:53:16 +01:00
877137377a initial 2021-12-20 14:25:23 +01:00