Rename the website folder to docs

ankile · Mar 12, 2024 · b97e09f · b97e09f
1 parent 84243a4
commit b97e09f
Show file tree

Hide file tree

Showing 21 changed files with 0 additions and 627 deletions.
diff --git a/docs/Makefile b/docs/Makefile
diff --git a/website/README.md → docs/README.md b/website/README.md → docs/README.md
diff --git a/docs/commands.rst b/docs/commands.rst