remove dotty doc code

Math-ias · Feb 11, 2021 · 0f78f73 · 0f78f73
1 parent 3fb4f79
commit 0f78f73
Show file tree

Hide file tree

Showing 93 changed files with 0 additions and 13,331 deletions.
diff --git a/doc-tool/bootstrap-theme/build.sh b/doc-tool/bootstrap-theme/build.sh