[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