[Python-ideas] add a time decorator to timeit.py

[Jonathan Fine]

On 7 Oct 2018 20:39, "Michael Selik" <mike at selik.org> wrote:

Isn't there some rule about noticing an undocumented feature, like,
whoever pours the last cup of coffee needs to brew a fresh pot? :-)


Most of the credit belongs, I think, to the original poster. His statement,
that Python wasn't very Pythonic here, really drew attention to the empty
coffee pot.

-- 
Jonathan
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.python.org/pipermail/python-ideas/attachments/20181007/3a802201/attachment.html>