Specify vscode 1.31

diff --git a/editors/code/package.json b/editors/code/package.json
index 045d372e77f75c47832432b2e8a12435b91debbf..4fc2cb754abc6517cf2b5224d3a2df824e99e203 100644 (file)
--- a/editors/code/package.json
+++ b/editors/code/package.json
@@ -13,7 +13,7 @@
         "Other"
     ],
     "engines": {
-        "vscode": "^1.30.0"
+        "vscode": "^1.31.0"
     },
     "scripts": {
         "vscode:prepublish": "npm run compile",