auto update;
authorwenzelm
Tue Jun 27 20:16:40 2017 +0200 (2017-06-27)
changeset 66204b0a30a21f627
parent 66203 5763d9a2f47d
child 66205 e9fa94f43a15
auto update;
src/Tools/VSCode/extension/package.json
     1.1 --- a/src/Tools/VSCode/extension/package.json	Tue Jun 27 16:50:40 2017 +0200
     1.2 +++ b/src/Tools/VSCode/extension/package.json	Tue Jun 27 20:16:40 2017 +0200
     1.3 @@ -495,7 +495,7 @@
     1.4          "@types/mocha": "^2.2.41",
     1.5          "@types/node": "^7.0.32",
     1.6          "mocha": "^3.4.1",
     1.7 -        "typescript": "^2.3.2",
     1.8 +        "typescript": "^2.4.1",
     1.9          "vscode": "^1.1.1"
    1.10      },
    1.11      "dependencies": {