From dc0976a41696617a2efbaa0acc0c5d3b81edd795 Mon Sep 17 00:00:00 2001
From: Florian Festi <florian@festi.info>
Date: Wed, 15 Jul 2020 14:30:04 +0200
Subject: [PATCH] Remove unnecessary type attribute in web page

---
 scripts/boxesserver | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/boxesserver b/scripts/boxesserver
index 2e72e76..46ad403 100755
--- a/scripts/boxesserver
+++ b/scripts/boxesserver
@@ -179,7 +179,7 @@ class BServer:
         return row % input
 
     scripts = """
-    <script type="text/javascript">
+    <script>
     function showHide(id) {
        var e = document.getElementById(id);
        var h = document.getElementById("h-" + id);