[docs] [issue23613] searchindex.js is annoying

Antoine Pitrou report at bugs.python.org
Sun Mar 8 20:57:29 CET 2015

Antoine Pitrou added the comment:

> Well, that's not useful in a generated file.

Well, here's a case where it's useful... Asking me to change tools is quite obvious and quite pointless at the same time. How about we respond to all Windows-specific issues with "switch to Linux"?


Python tracker <report at bugs.python.org>

More information about the docs mailing list