Rename index.md to documentation.md

Change the file name to documentation.md
KexinChen1999 · May 4, 2024 · 3f83c63 · 3f83c63
1 parent ebbd010
commit 3f83c63
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/docs/src/index.md → docs/src/documentation.md b/docs/src/index.md → docs/src/documentation.md