Skip to main content

Browse the archive

Revision 5d3bda611337718ff32577282e3d768c95917bda authored by vbot on 27 February 2020, 12:21:45 UTC, committed by vbot on 09 March 2020, 17:33:55 UTC 
Shell: add check and fix context integrity during node start-up
1 parent a1ec093
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