From 934d7990fd5bf87d858acb296c8f13909e770fda Mon Sep 17 00:00:00 2001
From: Lucas Spits <spits.lucas@gmail.com>
Date: Tue, 10 Sep 2019 08:49:23 +0200
Subject: [PATCH] Update minimal required vscode version to 1.37

---
 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 7a48d6794f..38824acb45 100644
--- a/editors/code/package.json
+++ b/editors/code/package.json
@@ -13,7 +13,7 @@
         "Other"
     ],
     "engines": {
-        "vscode": "^1.36.0"
+        "vscode": "^1.37.0"
     },
     "scripts": {
         "vscode:prepublish": "npm run compile",