Commit graph

2 commits

Author SHA1 Message Date
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