Model editor: write JSON format by default - #4583

Model editor: write JSON format by default#4583

nickrolfe wants to merge 3 commits into

maingithub/vscode-codeql:mainfrom

nickrolfe/model-editor-json-defaultgithub/vscode-codeql:nickrolfe/model-editor-json-defaultCopy head branch name to clipboard