Message169931
The index is available on every page via the link in the upper right corner. An index-specific search might be interesting, though I usually just click the 'index on one page' link and do a text search. But that is a two step process and doesn't give a nice list of hits.
I don't think I ever use the text search box, either. I just use google. |
|
Date |
User |
Action |
Args |
2012-09-06 17:29:40 | r.david.murray | set | recipients:
+ r.david.murray, georg.brandl, terry.reedy, ezio.melotti, eric.araujo, docs@python |
2012-09-06 17:29:40 | r.david.murray | set | messageid: <1346952580.52.0.566641592741.issue15871@psf.upfronthosting.co.za> |
2012-09-06 17:29:39 | r.david.murray | link | issue15871 messages |
2012-09-06 17:29:38 | r.david.murray | create | |
|