Pin VsCoq version to 2.2.0 in devcontainer.json for compatibility with the language server in the container#7
Closed
itoooak wants to merge 1 commit intologsem:masterfrom
itoooak:pin-vscoq-version
Closed
Pin VsCoq version to 2.2.0 in devcontainer.json for compatibility with the language server in the container#7itoooak wants to merge 1 commit intologsem:masterfrom itoooak:pin-vscoq-version
devcontainer.json for compatibility with the language server in the container#7itoooak wants to merge 1 commit intologsem:masterfrom
itoooak:pin-vscoq-version
