Skip to main content

Browse the archive

Revision 60b977cdbbd0968f85bfb2f0b13de1e1315a57df authored by Romain Bardou on 13 January 2020, 16:23:14 UTC, committed by Benjamin Canou on 17 February 2020, 10:35:40 UTC 
Node: print network name on startup
1 parent f29e2ff
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