# HG changeset patch
# User wenzelm
# Date 1611179757 -3600
# Node ID 2ac5a4957f9c41a3d916c8236cdf42fd82cc4b16
# Parent  6d37836c4329c06165399c4d59b9391bdde844eb
auto-update;

diff -r 6d37836c4329 -r 2ac5a4957f9c src/Tools/VSCode/extension/package.json
--- 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"