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/src/tags.html | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
(limited to 'web/src')
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