Closed famoser closed 10 months ago
Webpack can be added to minify the bundle, promising a speed up: https://code.visualstudio.com/api/working-with-extensions/bundling-extension
Resolved with https://github.com/ProVerif/vscode-proverif-language-service/pull/16
Webpack can be added to minify the bundle, promising a speed up: https://code.visualstudio.com/api/working-with-extensions/bundling-extension