Closed lindig closed 6 years ago
This moves the build to using Dune and removes warnings that are triggered by its stricter rules. It also updates the Travis setup.
This moves the build to using Dune and removes warnings that are triggered by its stricter rules. It also updates the Travis setup.