Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request #36 from vbgl/tests-dune-clean
Remove redundant dune rules These rules are redundant because the `tests` stanza of Dune generated them, see https://dune.readthedocs.io/en/stable/reference/dune/test.html
- Loading branch information