[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>
<http://bugs.python.org/issue23613>
_______________________________________
More information about the docs
mailing list