Remove docs folder and finalize the html page

gskorokhod · Nov 2, 2023 · 131e660 · 131e660
1 parent 0aa886a
commit 131e660
Show file tree

Hide file tree

Showing 7 changed files with 50 additions and 102,716 deletions.
diff --git a/docs/foo/index.html b/docs/foo/index.html
diff --git a/docs/index.html b/docs/index.html