Fix "customer timer" -> "custom timer" (reported by Kirk Strauser on docs@)

This commit is contained in:
Georg Brandl 2013-10-06 09:17:43 +02:00
parent 53bf15af47
commit c2b17b2eba

View file

@ -600,8 +600,8 @@ your results will "less often" show up as negative in profile statistics.
.. _profile-timers: .. _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 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 of wall-clock time or elapsed process time), pass the timing function you want