| commit | adda156a13c8555ea6f809bca8488d10d21dec62 | [log] [tgz] |
|---|---|---|
| author | Greg Ward <gward@python.net> | Sun May 28 23:54:00 2000 +0000 |
| committer | Greg Ward <gward@python.net> | Sun May 28 23:54:00 2000 +0000 |
| tree | de55a33e33cc8077dee90d884fdb7e5c85811313 | |
| parent | c32d9a69527af6d2823650ea7674e207c975f090 [diff] |
Added 'dump_options()' for debugging output.