Revision 6daa2ad50495d2a55c35bd50f443b451e877d5ac authored by Mehdi Bouaziz on 16 April 2020, 10:32:11 UTC, committed by Pierre Boutillier on 21 April 2020, 08:30:34 UTC
1 parent 163faec
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
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...