Skip to content

Commit

Permalink
Add a dune-project file
Browse files Browse the repository at this point in the history
  • Loading branch information
Jeremie Dimino committed Apr 26, 2018
1 parent 6580d0d commit a983787
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions dune-project
Original file line number Diff line number Diff line change
@@ -0,0 +1,2 @@
(lang dune 0.1)
(name dune)

0 comments on commit a983787

Please sign in to comment.