Remove docs folder (now in .gitignore)

cgoo4 · Jun 21, 2024 · b260f13 · b260f13
1 parent 0e848d9
commit b260f13
Show file tree

Hide file tree

Showing 86 changed files with 0 additions and 12,586 deletions.
diff --git a/docs/404.html b/docs/404.html
diff --git a/docs/LICENSE-text.html b/docs/LICENSE-text.html