From: Georg Brandl Date: Sun, 6 Oct 2013 07:17:43 +0000 (+0200) Subject: Fix "customer timer" -> "custom timer" (reported by Kirk Strauser on docs@) X-Git-Tag: v2.7.6rc1~106 X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=dc5f3fa85e60695391508f4c4cccab815d0dc311;p=python Fix "customer timer" -> "custom timer" (reported by Kirk Strauser on docs@) --- diff --git a/Doc/library/profile.rst b/Doc/library/profile.rst index 00abef2873..0fb14892ff 100644 --- a/Doc/library/profile.rst +++ b/Doc/library/profile.rst @@ -625,8 +625,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