From b0258a13060039351ee7d8efbf0da3a41ba2a7f8 Mon Sep 17 00:00:00 2001
From: Michael Gerhold <michael.gerhold@web.de>
Date: Sat, 18 Nov 2023 20:52:31 +0100
Subject: [PATCH] removed unnecessary newline

---
 emscripten/shell.html | 1 -
 1 file changed, 1 deletion(-)

diff --git a/emscripten/shell.html b/emscripten/shell.html
index e4d216d..6f9d87b 100644
--- a/emscripten/shell.html
+++ b/emscripten/shell.html
@@ -243,7 +243,6 @@
                     console.log("Synchronized data to IndexedDB.");
                     document.getElementById('output').innerHTML = '';
                     Module._main();
-
                 }
             });
         } else {