Revision 1f030c40d22fdde4faae3316fc468a10e0af268c authored by Romain Bardou on 07 May 2020, 13:29:31 UTC, committed by Pierre Boutillier on 07 May 2020, 15:21:10 UTC
`--data-dir` is probably one of the most used command-line options if you have more than one data-directory or if you're not using the default one, especially with the multinetwork node. So I believe it is worth it to have a short-hand for it: `-d`.
1 parent 2efc285
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
Computing file changes ...
