Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
The file dune.inc is linguist-generated
This PR hides the file `tests/dune.inc` in statistics and diff as it is generated by `gentest.ml` and modifying only one test produces a huge diff on this file.
- Loading branch information