website: Change folder website -> docs

tedgravlin · Dec 2, 2023 · 98de729 · 98de729
1 parent fcb152a
commit 98de729
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 0 deletions.
diff --git a/website/index.html → docs/index.html b/website/index.html → docs/index.html
diff --git a/website/main.py → docs/main.py b/website/main.py → docs/main.py
diff --git a/website/pyscript.json → docs/pyscript.json b/website/pyscript.json → docs/pyscript.json