diff options
| author | Guido van Rossum <guido@python.org> | 1999-11-17 15:02:53 (GMT) |
|---|---|---|
| committer | Guido van Rossum <guido@python.org> | 1999-11-17 15:02:53 (GMT) |
| commit | f97eecccb714a71cf5a1ca9399cd9c579014a5b9 (patch) | |
| tree | 641a40e60d05a54f3a79a9c656653ebd4fea517a /Tools/webchecker/wsgui.py | |
| parent | dbd5c3e63b639484709f02be311512048f7946e6 (diff) | |
| download | cpython-f97eecccb714a71cf5a1ca9399cd9c579014a5b9.zip cpython-f97eecccb714a71cf5a1ca9399cd9c579014a5b9.tar.gz cpython-f97eecccb714a71cf5a1ca9399cd9c579014a5b9.tar.bz2 | |
Samuel L. Bayer:
- same fixes from webchecker.py
- incorporated small diff between current webchecker.py and 1.5.2
- fixed bug where "extra roots" added with the -t argument were being
checked as real roots, not just as possible continuations
- added -a argument to suppress checking of name anchors
[And untabified --GvR]
Diffstat (limited to 'Tools/webchecker/wsgui.py')
0 files changed, 0 insertions, 0 deletions