Skip to content

Commit 17da11e

Browse files
committed
Remove files related to (unused) Sphinx search system.
1 parent 61b8ae0 commit 17da11e

File tree

3 files changed

+2
-519
lines changed

3 files changed

+2
-519
lines changed

.gitignore

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,2 +1,4 @@
11
Makefile
22
conf.py
3+
searchindex.js
4+
_static/searchtools.js

0 commit comments

Comments
 (0)