From 50383ceae1cc10b989b34e579897042008483e3d Mon Sep 17 00:00:00 2001
From: kjeremy <kjeremy@gmail.com>
Date: Tue, 12 Feb 2019 10:31:11 -0500
Subject: [PATCH] Specify vscode 1.31

---
 editors/code/package.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/editors/code/package.json b/editors/code/package.json
index 045d372e77..4fc2cb754a 100644
--- 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",