# HG changeset patch
# User wenzelm
# Date 1520678425 -3600
# Node ID c67fb01921ebaecbc8e9d16f934bfcddc2b829a3
# Parent  1cf4126d7bd96f7a5a11ae311d4e04b99d9cec34
auto update;

diff -r 1cf4126d7bd9 -r c67fb01921eb src/Tools/VSCode/extension/package.json
--- a/src/Tools/VSCode/extension/package.json	Sat Mar 10 11:08:20 2018 +0100
+++ b/src/Tools/VSCode/extension/package.json	Sat Mar 10 11:40:25 2018 +0100
@@ -523,11 +523,11 @@
         "postinstall": "node ./node_modules/vscode/bin/install"
     },
     "devDependencies": {
-        "@types/mocha": "^2.2.44",
-        "@types/node": "^7.0.51",
+        "@types/mocha": "^2.2.48",
+        "@types/node": "^7.0.56",
         "mocha": "^3.5.3",
-        "typescript": "^2.6.2",
-        "vscode": "^1.1.10"
+        "typescript": "^2.7.2",
+        "vscode": "^1.1.13"
     },
     "dependencies": {
         "vscode-languageclient": "~3.2.2"