Commit graph

2 commits

Author SHA1 Message Date
7dc32407fd dune-project: require dune 2.0 2023-01-30 15:49:46 +01:00
877137377a initial 2021-12-20 14:25:23 +01:00