Update searchindex

This was accidentally made from an unclean git checkout and so it included WIP pages that weren't updated. Fixes #125
fish-shell · Sep 17, 2024 · b2ef00a · b2ef00a
1 parent 89337ac
commit b2ef00a
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 4 deletions.
diff --git a/docs/docs/3.7/searchindex.js b/docs/docs/3.7/searchindex.js
diff --git a/docs/docs/current/searchindex.js b/docs/docs/current/searchindex.js
diff --git a/site/docs/3.7/searchindex.js b/site/docs/3.7/searchindex.js
diff --git a/site/docs/current/searchindex.js b/site/docs/current/searchindex.js