Remove doc.

gha3mi · Jul 29, 2023 · 771f0d3 · 771f0d3
1 parent 8777947
commit 771f0d3
Show file tree

Hide file tree

Showing 79 changed files with 0 additions and 33,888 deletions.
diff --git a/doc/css/bootstrap.css b/doc/css/bootstrap.css
diff --git a/doc/css/bootstrap.min.css b/doc/css/bootstrap.min.css
diff --git a/doc/css/font-awesome.css b/doc/css/font-awesome.css
diff --git a/doc/css/font-awesome.min.css b/doc/css/font-awesome.min.css
diff --git a/doc/css/local.css b/doc/css/local.css
diff --git a/doc/css/pygments.css b/doc/css/pygments.css
diff --git a/doc/favicon.png b/doc/favicon.png
diff --git a/doc/fonts/FontAwesome.otf b/doc/fonts/FontAwesome.otf
diff --git a/doc/fonts/fontawesome-webfont.eot b/doc/fonts/fontawesome-webfont.eot