balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Dune: add missing dune-project

Browse Source
This commit is contained in:
Grégoire Henry 2018-07-24 18:53:34 +02:00
parent 2a07a14efd
commit a72ae61312
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
dune-project Normal file
View File

@ -0,0 +1,2 @@
(lang dune 1.0)
(name tezos)