]> granicus.if.org Git - python/commitdiff
Fix "customer timer" -> "custom timer" (reported by Kirk Strauser on docs@)
authorGeorg Brandl <georg@python.org>
Sun, 6 Oct 2013 07:17:43 +0000 (09:17 +0200)
committerGeorg Brandl <georg@python.org>
Sun, 6 Oct 2013 07:17:43 +0000 (09:17 +0200)
Doc/library/profile.rst

index 00abef2873efac64d833ebc82555e08cec9b0dd9..0fb14892ff1f75cf2ce75d02424b94472269d8cb 100644 (file)
@@ -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