| commit | 545006259deba6517186155798904bb14e574dc3 | [log] [tgz] |
|---|---|---|
| author | Guido van Rossum <guido@python.org> | Wed Mar 24 19:09:00 1999 +0000 |
| committer | Guido van Rossum <guido@python.org> | Wed Mar 24 19:09:00 1999 +0000 |
| tree | aca84f91849cb25b8d469faaebee604df9969268 | |
| parent | 2bc137909d43af7a940b39023cc5bb077e80b7a9 [diff] |
Added Samuel Bayer's new webchecker. Unfortunately his code breaks wcgui.py in a way that's not easy to fix. I expect that this is a temporary situation -- eventually Sam's changes will be merged back in. (The changes add a -t option to specify exceptions to the -x option, and explicit checking for #foo style fragment ids.)