Closed Cali0707 closed 2 months ago
GitHub pages required the docs to either be in the root directory or in the directory docs/. This PR renames website/ to docs/ so that we can use GH pages from this repo.
GitHub pages required the docs to either be in the root directory or in the directory docs/. This PR renames website/ to docs/ so that we can use GH pages from this repo.