[docs] [issue15871] Online docs: make index search always available.

Terry J. Reedy report at bugs.python.org
Tue Feb 18 21:48:09 CET 2014


Terry J. Reedy added the comment:

I believe I somewhere proposed that there be an option to get more *if one wanted more*. The real waste is not using the available index resources.

----------

_______________________________________
Python tracker <report at bugs.python.org>
<http://bugs.python.org/issue15871>
_______________________________________


More information about the docs mailing list