From 556c6817e08b2dc1e50da03b8fc4a2e73276bd33 Mon Sep 17 00:00:00 2001
From: Rob Garrison <wowmotty@gmail.com>
Date: Sat, 21 Jul 2018 08:25:54 -0500
Subject: [PATCH] Fix lint issue :P

---
 tools/update-codemirror-themes.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/update-codemirror-themes.js b/tools/update-codemirror-themes.js
index ee3c37e9..fd6ca447 100644
--- a/tools/update-codemirror-themes.js
+++ b/tools/update-codemirror-themes.js
@@ -36,5 +36,5 @@ function exit(err) {
 
 getThemes()
   .then(themes => updateHook(themes))
-  .then(() => console.log('\x1b[32m%s\x1b[0m', `codemirror themes list updated`))
+  .then(() => console.log('\x1b[32m%s\x1b[0m', 'codemirror themes list updated'))
   .catch(exit);