# HG changeset patch
# User wenzelm
# Date 1528991423 -7200
# Node ID 6d0f1a5a16ea84b522872457f9294db7efa61e45
# Parent  3d1517f3ba49a325a27e17475f3f0b50d8d3113e
auto update;

diff -r 3d1517f3ba49 -r 6d0f1a5a16ea src/Tools/VSCode/extension/package.json
--- a/src/Tools/VSCode/extension/package.json	Thu Jun 14 15:20:20 2018 +0100
+++ b/src/Tools/VSCode/extension/package.json	Thu Jun 14 17:50:23 2018 +0200
@@ -524,10 +524,10 @@
     },
     "devDependencies": {
         "@types/mocha": "^2.2.48",
-        "@types/node": "^7.0.56",
+        "@types/node": "^7.0.66",
         "mocha": "^3.5.3",
-        "typescript": "^2.7.2",
-        "vscode": "^1.1.13"
+        "typescript": "^2.9.2",
+        "vscode": "^1.1.18"
     },
     "dependencies": {
         "vscode-languageclient": "~3.2.2"