Skip to content

Make dune.opts executable

Steffen Müthing requested to merge bugfix/make-opts-file-executable into master

That's a stupid bug...

Merge request reports

Loading