move index.md to man/

PTsolvers · Apr 29, 2024 · b246d7a · b246d7a
1 parent 334c100
commit b246d7a
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/docs/src/index.md → docs/src/man/index.md b/docs/src/index.md → docs/src/man/index.md