Closed ejgallego closed 1 year ago
We also fix VsCode -> Visual Studio Code (or in any case VSCode)
Fixes https://github.com/ejgallego/coq-lsp/issues/156
Looks great to me, thanks @Zimmi48
Great! Sorry for pushing without any comment. I had to leave office in a hurry.
We also fix VsCode -> Visual Studio Code (or in any case VSCode)
Fixes https://github.com/ejgallego/coq-lsp/issues/156