From c2b17b2ebae4930c65e3de38a0eb66c8ed1cfc30 Mon Sep 17 00:00:00 2001 From: Georg Brandl Date: Sun, 6 Oct 2013 09:17:43 +0200 Subject: [PATCH] Fix "customer timer" -> "custom timer" (reported by Kirk Strauser on docs@) --- Doc/library/profile.rst | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Doc/library/profile.rst b/Doc/library/profile.rst index aefc024d40e..f2453f1f856 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