track min/data.txt

mi2ebi · Sep 26, 2023 · 3f8636d · 3f8636d
1 parent cc45ac8
commit 3f8636d
Show file tree

Hide file tree

Showing 3 changed files with 163,928 additions and 3 deletions.
diff --git a/.gitignore b/.gitignore
@@ -1,3 +1,5 @@
 *.java
-data*
+data-*
+data.json
+data.html
 *.xml
diff --git a/index.html b/index.html
@@ -353,8 +353,8 @@ <h2>credits</h2>
                 clearTimeout(timer);
                 const q = id("search").value.toLowerCase().trim();
                 if (q != id("search").value) {
-                    id("search").value = q
-                };
+                    id("search").value = q;
+                }
                 id("results").innerHTML = "";
                 let page = 0;
                 if (observer) {