[docs] test removing search_index.js (#661)

odow · Sep 6, 2023 · 5cbc93d · 5cbc93d
1 parent 2982dd2
commit 5cbc93d
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/v0.3.13/search_index.js b/v0.3.13/search_index.js