Add a "name" to dune-project

Chris00 · Sep 5, 2018 · 37af06e · 37af06e
1 parent 2a1019d
commit 37af06e
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/dune-project b/dune-project
@@ -1 +1,3 @@
 (lang dune 1.1)
+
+(name cairo2)