remove .github and theme

hacspec · Jul 1, 2024 · 9679293 · 9679293
1 parent bf17a75
commit 9679293
Show file tree

Hide file tree

Showing 26 changed files with 0 additions and 3,240 deletions.
diff --git a/book/.github/workflows/gh-pages.yml b/book/.github/workflows/gh-pages.yml