Remove unused docs/ directory.

The website is built in a GitHub workflow.
hypered · Oct 6, 2024 · 3d7a142 · 3d7a142
1 parent cb1f67a
commit 3d7a142
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 2 deletions.
diff --git a/docs/CNAME b/docs/CNAME
diff --git a/docs/index.html b/docs/index.html