[docs] [issue23613] searchindex.js is annoying
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