Remove outdated documents directory previously used for GitHub Pages

AlexeyPechnikov · Feb 9, 2024 · 5b2e702 · 5b2e702
1 parent 2fb1b5e
commit 5b2e702
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 379 deletions.
diff --git a/docs/README.md b/docs/README.md
diff --git a/docs/_config.yml b/docs/_config.yml