Revision 764fcae3ba2a0dd8bce9377478079de924d16ba9 authored by Romain Bardou on 04 June 2020, 14:43:21 UTC, committed by Marco Stronati on 05 June 2020, 09:24:29 UTC
1 parent 3f4be78
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 ...