Commit graph

2 commits

Author SHA1 Message Date
9d025dba2c Also rename in dune-project 2021-12-15 16:29:36 +01:00
01aa4a8c8c Initial commit 2021-12-09 11:06:56 +01:00