Dune: rename s/jbuild/dune/

This commit is contained in:
Grégoire Henry 2018-07-25 21:02:58 +02:00
parent d7d7457fa3
commit 5362b321d9
93 changed files with 0 additions and 4 deletions

View File

View File

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

View File

@ -1,2 +0,0 @@
(jbuild_version 1)