Skip to main content

Browse the archive

Revision ae123a36308e0e9e56fb90be00cc3ce675b941db authored by Romain Bardou on 03 April 2020, 08:59:07 UTC, committed by Pierre Boutillier on 14 April 2020, 14:52:01 UTC 
Node: make config init tell the network name
1 parent 487344a
Raw File
dune-project 
(lang dune 1.11)

; dune-project files are automatically generated by dune but they are kept
; checked in the repository to allow building with Dune 2 seamlessly.
; If needed, they can be easily removed with: find . -name dune-project -delete
back to top