# HG changeset patch
# User wenzelm
# Date 1645790200 -3600
# Node ID 177d6af44b34710266aa4508f4776c9c2c805b1a
# Parent  cd77ffb01e15331755762f4d9d8df88616b85444
proper engines.vscode (amending c04ccea8bdd2): required for "vsce package", e.g. via "isabelle build_vscode;

diff -r cd77ffb01e15 -r 177d6af44b34 src/Tools/VSCode/extension/package.json
--- a/src/Tools/VSCode/extension/package.json	Thu Feb 24 11:25:09 2022 +0000
+++ b/src/Tools/VSCode/extension/package.json	Fri Feb 25 12:56:40 2022 +0100
@@ -17,7 +17,7 @@
         "url": "https://isabelle-dev.sketis.net"
     },
     "engines": {
-        "vscode": "^1.34.0"
+        "vscode": "^1.64.0"
     },
     "categories": [
         "Programming Languages"