Add dune-project

2018-07-14 00:39:15 -07:00 · 2018-07-14 00:39:15 -07:00 · 03b383bd58
parent 13132c3ea4
commit 03b383bd58
1 changed files with 2 additions and 0 deletions
--- a/2
+++ b/2
@ -0,0 +1,2 @@
+(lang dune 1.0)
+(name utop)