Skip to content
GitLab
Explore
Sign in
Jö Fahlke
CI Images
Repository
ci
base-common
dune.opts
Find file
Blame
History
Permalink
dune.opts: disable auto-detection of CPU features by default (for Vc)
· 9f350700
Ansgar Burchardt
authored
Jun 11, 2019
Reference:
https://lists.dune-project.org/pipermail/dune-devel/2019-June/002456.html
9f350700