| commit | 247a78a10dc3486f20743a154246da15d862cd5d | [log] [tgz] |
|---|---|---|
| author | Guido van Rossum <guido@python.org> | Mon Apr 19 18:04:38 1999 +0000 |
| committer | Guido van Rossum <guido@python.org> | Mon Apr 19 18:04:38 1999 +0000 |
| tree | 3f40a43117b53e57cedee2503e9054959f6cf99f | |
| parent | f340114d7222ae22fab94122f4b77972b968a659 [diff] |
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.)