Skip to content

[dune] fix default flags

Loïc Correnson requested to merge fix/dune-flags into master

Missing (:standard …) in dune flags.

Edited by Loïc Correnson

Merge request reports