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

lemmy wants to merge 1 commit into

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

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