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

fix(coq): unescape \: to :#9231

Merged
ejgallego merged 1 commit intoocaml:mainfrom
Alizter:ps/branch/fix_coq___unescape____to__
Nov 28, 2023
Merged

fix(coq): unescape \: to :#9231
ejgallego merged 1 commit intoocaml:mainfrom
Alizter:ps/branch/fix_coq___unescape____to__

Commits

Commits on Nov 28, 2023
0