Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/VSCode/extension/package.json
changeset 73169 2ac5a4957f9c
parent 73167 490ca65ecae2
child 73170 bd5e1d7c5312 
--- a/src/Tools/VSCode/extension/package.json	Wed Jan 20 22:55:22 2021 +0100
+++ b/src/Tools/VSCode/extension/package.json	Wed Jan 20 22:55:57 2021 +0100
@@ -285,7 +285,7 @@
     },
     "devDependencies": {
         "@types/mocha": "^2.2.48",
-        "@types/node": "^7.0.66",
+        "@types/node": "^7.10.14",
         "mocha": "^3.5.3",
         "typescript": "^2.9.2",
         "vscode": "^1.1.36"
isabelle