Passage à dune

This commit is contained in:
Matthieu Dubuget
2019-11-03 08:30:46 +01:00
parent 7b4930cf0d
commit e4b72227c4
5 changed files with 16 additions and 17 deletions

1
dune-project Normal file
View File

@ -0,0 +1 @@
(lang dune 1.0)