From ad19f3134d164f3c7dc17272c39a1e7c08374581 Mon Sep 17 00:00:00 2001 From: Koen Lageveen Date: Fri, 9 Oct 2020 22:32:42 +0200 Subject: [PATCH] all done with jQuery, http://vanilla-js.com ftw --- index.html | 1 - 1 file changed, 1 deletion(-) diff --git a/index.html b/index.html index c2438ee..bbd9faf 100755 --- a/index.html +++ b/index.html @@ -326,7 +326,6 @@ function updateGutters(cm) { -