Message237557
Since I get hit by this at least once a week, I thought I'd finally report a bug. The Doc/build/html/searchindex.js file is extremely annoying when grepping through the source tree (and especially when grepping in the docs), because it's very likely to match your search *and* it seems made of a huge single line of text, meaning the grep output now fills your terminal with junk. |
|
Date |
User |
Action |
Args |
2015-03-08 19:36:00 | pitrou | set | recipients:
+ pitrou, docs@python |
2015-03-08 19:36:00 | pitrou | set | messageid: <1425843360.7.0.572692234171.issue23613@psf.upfronthosting.co.za> |
2015-03-08 19:36:00 | pitrou | link | issue23613 messages |
2015-03-08 19:36:00 | pitrou | create | |
|