# HG changeset patch
# User wenzelm
# Date 1498750623 -7200
# Node ID 534ef013d16948c57f3d14e99f6320f81d84513a
# Parent  d4949bae0badd1839459b09a0aead62fe8dd8243
auto update;

diff -r d4949bae0bad -r 534ef013d169 src/Tools/VSCode/extension/package.json
--- a/src/Tools/VSCode/extension/package.json	Thu Jun 29 15:12:40 2017 +0200
+++ b/src/Tools/VSCode/extension/package.json	Thu Jun 29 17:37:03 2017 +0200
@@ -493,7 +493,7 @@
     },
     "devDependencies": {
         "@types/mocha": "^2.2.41",
-        "@types/node": "^7.0.32",
+        "@types/node": "^7.0.33",
         "mocha": "^3.4.1",
         "typescript": "^2.4.1",
         "vscode": "^1.1.1"