[docs] [issue13478] No documentation for timeit.default_timer

Sandro Tosi report at bugs.python.org
Thu Jan 19 16:32:57 CET 2012

Sandro Tosi <sandro.tosi at gmail.com> added the comment:

I propose these 2 patches: I'm not exactly proud of 

- 'in a platform specific manner' in the first hunk
- the second hunk

I know that there should be a better way to express it, but since I can't get to it I'd just ask for suggestions :)

keywords: +patch
stage: needs patch -> patch review
Added file: http://bugs.python.org/file24276/issue13478-py27.patch

Python tracker <report at bugs.python.org>

More information about the docs mailing list