Skip to main content

Browse the archive

Revision 3c472511b9003459eb6d41bbe13ad3af482f5ca8 authored by Philippe Bidinger on 08 May 2020, 22:34:15 UTC, committed by Adrian Brink on 18 May 2020, 13:30:24 UTC 
Shell/DDb: documentation/typos
1 parent f9e0520
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