tree 3f40a43117b53e57cedee2503e9054959f6cf99f
parent f340114d7222ae22fab94122f4b77972b968a659
author Guido van Rossum <guido@python.org> 924545078 +0000
committer Guido van Rossum <guido@python.org> 924545078 +0000
HG:extra convert_revision:svn%3A6015fed2-1504-0410-9fe1-9d1591cc4771/python/branches/legacy-trunk%4013129

Utility function that yields a properly formatted time string.

(Idea by Jeff Bauer, code by Jeremy, renamed and "Date:" constant
stripped from return value by GvR.)