diff options
author | Georg Brandl <georg@python.org> | 2013-10-06 09:17:43 +0200 |
---|---|---|
committer | Georg Brandl <georg@python.org> | 2013-10-06 09:17:43 +0200 |
commit | f2c5d5a5c1663e2d6ac7cf59bec44825b60847fa (patch) | |
tree | d0486b922651ad1c599f00cf9fa93ce08def38e5 /Doc/library/profile.rst | |
parent | aa59cb79ea4f8f2b549f6c9fd03f3e4b14bb3fed (diff) | |
download | cpython-f2c5d5a5c1663e2d6ac7cf59bec44825b60847fa.tar.gz |
Fix "customer timer" -> "custom timer" (reported by Kirk Strauser on docs@)
Diffstat (limited to 'Doc/library/profile.rst')
-rw-r--r-- | Doc/library/profile.rst | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Doc/library/profile.rst b/Doc/library/profile.rst index aefc024d40..f2453f1f85 100644 --- a/Doc/library/profile.rst +++ b/Doc/library/profile.rst @@ -600,8 +600,8 @@ your results will "less often" show up as negative in profile statistics. .. _profile-timers: -Using a customer timer -====================== +Using a custom timer +==================== If you want to change how current time is determined (for example, to force use of wall-clock time or elapsed process time), pass the timing function you want |