chore: delete dead files from the sphinx docs

ReadAlongs · Jul 10, 2024 · f7d641c · f7d641c
1 parent 2e44e50
commit f7d641c
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 259 deletions.
diff --git a/docs/Makefile b/docs/Makefile
diff --git a/docs/conf.py b/docs/conf.py
diff --git a/docs/make.bat b/docs/make.bat