Remove the docs/ directory (already deployed via GitHub pages) last u…

…pdated 3 years ago.
sfirke · Jun 14, 2023 · 62c1d04 · 62c1d04
1 parent 8228683
commit 62c1d04
Show file tree

Hide file tree

Showing 70 changed files with 0 additions and 14,559 deletions.
diff --git a/docs/404.html b/docs/404.html
diff --git a/docs/CONTRIBUTING.html b/docs/CONTRIBUTING.html