Add dune-project

yutopp · Oct 11, 2018 · 4c55656 · 4c55656
1 parent 688e83b
commit 4c55656
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/dune-project b/dune-project
@@ -0,0 +1 @@
+(lang dune 1.2)