Skip to main content

Browse the archive

Revision 832ad0b53bbbe4bc9adb178f6073c8460607d787 authored by Philippe Bidinger on 11 May 2020, 10:52:02 UTC, committed by Pierre Boutillier on 11 May 2020, 22:04:14 UTC 
Revert "Test: extract client instanciation in sandbox"
 
This reverts commit 75c05dc7830128dca46b0b26eabf34a026f2ff75.
1 parent 25f4397
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