| commit | 3f0f5776cdbd590571eb51825200d676ecd643ee | [log] [tgz] |
|---|---|---|
| author | Sandro Tosi <sandro.tosi@gmail.com> | Tue Apr 24 18:11:29 2012 +0200 |
| committer | Sandro Tosi <sandro.tosi@gmail.com> | Tue Apr 24 18:11:29 2012 +0200 |
| tree | f257bc8505f95510082035e9c9c9e69636c7e296 | |
| parent | 45c6a3cae785f35deec607877666c76368dac4bb [diff] |
Issue #13478: document timeit.default_timer()