Revision 77ce724b153965c9135c9ee475111677e21102b1 authored by Pierre Boutillier on 08 April 2020, 13:31:24 UTC, committed by Pierre Boutillier on 08 April 2020, 17:06:29 UTC
Does not interfere with the global lint check in the CI and "make fmt" that don't use dune targets
1 parent 4234580
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...