Skip to main content

Browse the archive

Revision 7a7c3f980c4bd2fab89d223a1227affab52d09d0 authored by Victor Allombert on 17 February 2020, 10:27:48 UTC, committed by Victor Allombert on 18 February 2020, 17:02:17 UTC 
Doc: introduce reconstruct feature
1 parent df7bd9c
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