From d10c596a9a26124cb5b2d3ea67e935a522ebc04c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=E2=80=9CVeLiTi=E2=80=9D?= <“info@veliti.nl”>
Date: Thu, 21 Mar 2024 12:58:32 +0100
Subject: [PATCH] Bug buildtool

---
 buildtool.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/buildtool.php b/buildtool.php
index 46e9b9e..0bbf21d 100644
--- a/buildtool.php
+++ b/buildtool.php
@@ -94,7 +94,7 @@ echo '
     var port, textEncoder, writableStreamClosed, writer, historyIndex = -1;
     const lineHistory = [];
 </script>';
-';
+
 
 template_footer();
 ?>
\ No newline at end of file