3 commits

Author	SHA1	Message	Date
Hannes Mehnert	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
Hannes Mehnert	877137377a	initial	2021-12-20 14:25:23 +01:00