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
Raw File
dune-workspace
(lang dune 1.0)
back to top