tune dune files

hhugo · Aug 31, 2019 · 21e2485 · 21e2485
1 parent 36e9497
commit 21e2485
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/dune-project b/dune-project
@@ -1,2 +1,3 @@
 (lang dune 1.6)
-(using fmt 1.0)
+(using fmt 1.0)
+(name merge-fmt)