Revision 8f07970f8a54c248f08931bc81ef14fa1a4295b1 authored by Sebastien Mondet on 22 January 2019, 16:39:43 UTC, committed by Benjamin Canou on 11 April 2019, 22:10:21 UTC
Cf. <https://gitlab.com/tezos/tezos/merge_requests/798#note_131190372>
1 parent a1ac99c
Raw File
dune-workspace
(lang dune 1.0)
back to top