commit | a13edb489bf5bd7fe65436c2370ae6734481825b | [log] [tgz] |
---|---|---|
author | Guido van Rossum <guido@python.org> | Tue May 28 23:08:25 1996 +0000 |
committer | Guido van Rossum <guido@python.org> | Tue May 28 23:08:25 1996 +0000 |
tree | 716e152e140fc9dc467b13ff609e7fe17253fb2f | |
parent | fdd45cb8580f06031528ff370e0f6d5322bfe67d [diff] |
optimization of getheader() using a dictionary