add website

jokergoo · Sep 22, 2023 · 6534401 · 6534401
1 parent eaedc01
commit 6534401
Show file tree

Hide file tree

Showing 42 changed files with 3,422 additions and 1 deletion.
diff --git a/.gitignore b/.gitignore
@@ -16,5 +16,4 @@
 src/*.o$
 src/*.so$
 man/temp__*
-/docs/
 /Meta/
diff --git a/docs/404.html b/docs/404.html
diff --git a/docs/LICENSE-text.html b/docs/LICENSE-text.html