Code

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

Code

Merged

ejgallego merged 1 commit intoocaml:mainocaml/dune:mainfrom Alizter:ps/branch/fix_coq___unescape____to__Alizter/dune:ps/branch/fix_coq___unescape____to__Copy head branch name to clipboardNov 28, 2023

+14-1

Commits

Commits on Nov 28, 2023

• fix(coq): unescape :\ to :

  Show description for ee0c78e
  

  Alizter

  authored and

  ejgallego

  committed
  ee0c78e

  Copy full SHA for ee0c78e