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

---
 web/html.html     | 2 +-
 web/src/tags.html | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

(limited to 'web')

diff --git a/web/html.html b/web/html.html
index 17d96d1..c3ed14a 100644
--- a/web/html.html
+++ b/web/html.html
@@ -336,7 +336,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"
diff --git a/web/src/tags.html b/web/src/tags.html
index 25597ca..d9ea9af 100644
--- a/web/src/tags.html
+++ b/web/src/tags.html
@@ -26,7 +26,7 @@ window.onload = () => {
     const filter = document.getElementById("filter");
 
     // Create buttons for each tag T.
-    ['arm', 'x86', 'clear'].forEach(T => {
+    ["arm", "x86", "clear"].forEach(T => {
         const btn = document.createElement("button");
         btn.innerHTML = T;
         btn.onclick = T === "clear"
-- 
cgit v1.2.3