# HG changeset patch
# User wenzelm
# Date 1502368403 -7200
# Node ID 77a347cf353102726b65c777e4ce215a6deff2a0
# Parent  21514c6e5e4333464507c6ca8cc9cfb6f6f76e79
auto update;

diff -r 21514c6e5e43 -r 77a347cf3531 src/Tools/VSCode/extension/package.json
--- a/src/Tools/VSCode/extension/package.json	Thu Aug 10 14:32:13 2017 +0200
+++ b/src/Tools/VSCode/extension/package.json	Thu Aug 10 14:33:23 2017 +0200
@@ -493,10 +493,10 @@
     },
     "devDependencies": {
         "@types/mocha": "^2.2.41",
-        "@types/node": "^7.0.33",
-        "mocha": "^3.4.1",
-        "typescript": "^2.4.1",
-        "vscode": "^1.1.1"
+        "@types/node": "^7.0.39",
+        "mocha": "^3.5.0",
+        "typescript": "^2.4.2",
+        "vscode": "^1.1.4"
     },
     "dependencies": {
         "vscode-languageclient": "~3.2.2"