Skip to main content

Browse the archive

Revision 25f4397d8d472b437a5258bb905d13f6df5bf3d0 authored by Paul Laforgue on 11 October 2019, 23:17:25 UTC, committed by Romain on 11 May 2020, 15:32:28 UTC 
Bin_sandbox: testsuite for synchronization between nodes
1 parent d03948e
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