| commit | ba884f3d221d7c8a74ca8a6799214b692a6135f5 | [log] [tgz] |
|---|---|---|
| author | Guido van Rossum <guido@python.org> | Wed Jan 29 20:14:23 2003 +0000 |
| committer | Guido van Rossum <guido@python.org> | Wed Jan 29 20:14:23 2003 +0000 |
| tree | 118642b3260e24bcc95ab56262177f42321b472c | |
| parent | c1c2b3e0e2af6eb05346b4908f4c4d56618fb7b6 [diff] |
Use %c rather than chr() to turn some ints into chars.