[docs] [issue23613] searchindex.js is annoying

Georg Brandl report at bugs.python.org
Mon Mar 9 20:30:23 CET 2015

Georg Brandl added the comment:

Most important reason to close this: this is not something to change in Python, but would have to be changed in Sphinx.

resolution:  -> third party
status: open -> closed

Python tracker <report at bugs.python.org>

More information about the docs mailing list