remove whitespace

2023-05-18 11:01:22 +01:00 · 2023-05-18 11:01:22 +01:00 · 72861b4858
parent b39bd76770
commit 72861b4858
1 changed files with 1 additions and 1 deletions
--- a/index.html
+++ b/index.html
@ -195,7 +195,7 @@
    </footer>

    <script src="webtools/puck.js"></script>
-    <script src="webtools/heatshrink.js"></script>    
+    <script src="webtools/heatshrink.js"></script>
    <script src="core/lib/marked.min.js"></script>
    <script src="core/lib/espruinotools.js"></script>
    <script src="core/js/utils.js"></script>