Skip to main content

Browse the archive

Revision a4bf2f62a3e3411d5555d7efe712efcbd2d37243 authored by Romain Bardou on 12 May 2020, 12:13:44 UTC, committed by Romain Bardou on 19 May 2020, 10:12:35 UTC 
Version: set version to 7.1+dev
1 parent 3416bfc
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