From 14dd90461b98a05cdce34abf7d131f9548f96277 Mon Sep 17 00:00:00 2001
From: johannst <johannst@users.noreply.github.com>
Date: Sat, 17 Feb 2024 01:40:30 +0000
Subject: deploy: 71f601e9431878035e1ff3a60680cac4617bf095

---
 print.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'print.html')

diff --git a/print.html b/print.html
index 071752f..9da4ae2 100644
--- a/print.html
+++ b/print.html
@@ -6216,7 +6216,7 @@ window.onload = () =&gt; {
     const filter = document.getElementById("filter");
 
     // Create buttons for each tag T.
-    ['arm', 'x86', 'clear'].forEach(T =&gt; {
+    ["arm", "x86", "clear"].forEach(T =&gt; {
         const btn = document.createElement("button");
         btn.innerHTML = T;
         btn.onclick = T === "clear"
-- 
cgit v1.2.3