Add support for Cursor (and other VS Code < 1.120 hosts)#126

feliperodri merged 1 commit into

model-checking:mainmodel-checking/cbmc-proof-debugger:mainfrom

lemmy:mku-cursorlemmy/cbmc-proof-debugger:mku-cursorCopy head branch name to clipboard