Skip to content
GitLab
Explore
Sign in
Praetorius, Simon
dune-dec
Repository
dune-dec
gitlab-ci.clang.opts
Find file
Blame
History
Permalink
Enabled different compiler and build types.
· bbb6fbdd
Vincent Knyrim
authored
Feb 23, 2017
Added new files for dune compiler options.
bbb6fbdd