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