diff options
Diffstat (limited to 'web/html.html')
| -rw-r--r-- | web/html.html | 2 |
1 files changed, 1 insertions, 1 deletions
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 = () => { 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" |