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

[Sandro Tosi]

Changes by Sandro Tosi <sandro.tosi at gmail.com>:


Added file: http://bugs.python.org/file24277/issue13478-py32.patch

_______________________________________
Python tracker <report at bugs.python.org>
<http://bugs.python.org/issue13478>
_______________________________________