[Python-ideas] add a time decorator to timeit.py
Guido van Rossum
guido at python.org
Sun Oct 7 16:44:09 EDT 2018
So someone ought to submit a PR that adds (brief) documentation for this,
with reference to this thread.
On Sun, Oct 7, 2018 at 12:50 PM Jonathan Fine <jfine2358 at gmail.com> wrote:
> 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.
> Python-ideas mailing list
> Python-ideas at python.org
> Code of Conduct: http://python.org/psf/codeofconduct/
--Guido van Rossum (python.org/~guido)
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Python-ideas