From 304ad0e87217f57e4917d9c41081e81637b3ddc1 Mon Sep 17 00:00:00 2001
From: jspenguin2017 <jspenguin2017@users.noreply.github.com>
Date: Tue, 5 Feb 2019 19:32:31 -0700
Subject: [PATCH] Disable edge build

---
 term/index.js | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/term/index.js b/term/index.js
index 8364c3c..56d0f1b 100644
--- a/term/index.js
+++ b/term/index.js
@@ -167,7 +167,7 @@ const exec_opt = () => {
 const apply = async (p) => {
     term.write_line("Applying " + p);
     await exec(0, "git", exec_opt(), "apply", p);
-}
+};
 
 /**
  * Commit current changes.
@@ -289,7 +289,10 @@ cmd_handlers.set("mark", async () => {
  * All supported browsers.
  * @const {Array.<string>}
  */
-const browsers = ["chromium", "edge"];
+const browsers = [
+    "chromium",
+    // "edge",
+];
 
 /*****************************************************************************/