8000 fix: failing coq --config by Alizter · Pull Request #8966 · ocaml/dune · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

fix: failing coq --config#8966

Merged
ejgallego merged 2 commits intoocaml:mainfrom
Alizter:ps/branch/test__failing_coq___config
Oct 25, 2023
Merged

fix: failing coq --config#8966
ejgallego merged 2 commits intoocaml:mainfrom
Alizter:ps/branch/test__failing_coq___config

Commits

Commits on Oct 25, 2023
0