diff options
| -rw-r--r-- | src/web/src/tags.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/web/src/tags.html b/src/web/src/tags.html index 25597ca..d9ea9af 100644 --- a/src/web/src/tags.html +++ b/src/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" |