Skip to main content

Browse the archive

swh:1:snp:9c27352633c4639a943e316050a7b904f57900e2
Raw File
Tip revision: d53eed9d0b9b82272407fae0d75c6b66ebc92c13 authored by Raphaël Proust on 24 April 2020, 08:45:22 UTC
DO NOT MERGE: point to NL's opam repo
Tip revision: d53eed9
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