From 915c079e26a8da890d03b0a4a0960b06d45e66e2 Mon Sep 17 00:00:00 2001
From: Lucas Spits <spits.lucas@gmail.com>
Date: Mon, 11 Mar 2019 20:53:56 +0100
Subject: Fix typescript linting errors

---
 editors/code/src/server.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'editors/code/src/server.ts')

diff --git a/editors/code/src/server.ts b/editors/code/src/server.ts
index 30ab874ab..b3a874b38 100644
--- a/editors/code/src/server.ts
+++ b/editors/code/src/server.ts
@@ -24,7 +24,7 @@ export class Server {
             
             if (workspace.workspaceFolders.length > 1) {
                 // Tell the user that we do not support multi-root workspaces yet
-                window.showWarningMessage("Multi-root workspaces are not currently supported");
+                window.showWarningMessage('Multi-root workspaces are not currently supported');
             }
         }
 
-- 
cgit v1.2.3