auto update;
authorwenzelm
Thu Jun 29 17:37:03 2017 +0200 (24 months ago)
changeset 66217534ef013d169
parent 66216 d4949bae0bad
child 66218 a30bf1c755c1
auto update;
src/Tools/VSCode/extension/package.json
     1.1 --- a/src/Tools/VSCode/extension/package.json	Thu Jun 29 15:12:40 2017 +0200
     1.2 +++ b/src/Tools/VSCode/extension/package.json	Thu Jun 29 17:37:03 2017 +0200
     1.3 @@ -493,7 +493,7 @@
     1.4      },
     1.5      "devDependencies": {
     1.6          "@types/mocha": "^2.2.41",
     1.7 -        "@types/node": "^7.0.32",
     1.8 +        "@types/node": "^7.0.33",
     1.9          "mocha": "^3.4.1",
    1.10          "typescript": "^2.4.1",
    1.11          "vscode": "^1.1.1"