Deployed 03a1f58 to dev with MkDocs 1.6.1 and mike 2.1.3

Lean-zh · Jan 30, 2025 · 0dd1a45 · 0dd1a45
1 parent 307bc4a
commit 0dd1a45
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/dev/search/search_index.json b/dev/search/search_index.json