Skip to content
Snippets Groups Projects
Commit 6f73da1f authored by Dominic Kempf's avatar Dominic Kempf Committed by Carsten Gräser
Browse files

[bugfix][release] Fix duneproject's option for the enable all feature


A typo made it impossible to say 'no'.

Furthermore, I changed the text shown to the user to point to the
module documentation.

(cherry picked from commit fb1ce0b4)
Signed-off-by: default avatarCarsten Gräser <graeser@dune-project.org>
parent 7ca2f585
Branches
Tags
1 merge request!2512017-05 merge of upstream repository
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment