Remove old docs folder

nathan818fr · Oct 15, 2021 · d5b1d0b · d5b1d0b
1 parent b3f6bd2
commit d5b1d0b
Show file tree

Hide file tree

Showing 13 changed files with 0 additions and 2,673 deletions.
diff --git a/docs/.nojekyll b/docs/.nojekyll
diff --git a/docs/assets/highlight.css b/docs/assets/highlight.css