From 7495dac4d5ee03d62c2fdfcaf5795f33b51af39f Mon Sep 17 00:00:00 2001
From: Pelanyo Kamara <pkamara@disroot.org>
Date: Tue, 14 Dec 2021 21:58:25 +0000
Subject: [PATCH] remove timestamps from output

---
 docs/_includes/repl.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/_includes/repl.html b/docs/_includes/repl.html
index 2803b0ba..2c6b8f7d 100644
--- a/docs/_includes/repl.html
+++ b/docs/_includes/repl.html
@@ -91,7 +91,7 @@
     // Misc Functions
     function output(text) {
         output_box = document.getElementById("output");
-        output_box.value += "[" + new Date().toLocaleTimeString() + "] " + text.replace('stdin:', '') + "\n";
+        output_box.value += text.replace('stdin:', '') + "\n";
         // scroll to bottom
         output_box.scrollTop = output_box.scrollHeight;
     }