[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>

More information about the docs mailing list