diff options
author | Benjamin Peterson <benjamin@python.org> | 2010-03-11 22:53:45 (GMT) |
---|---|---|
committer | Benjamin Peterson <benjamin@python.org> | 2010-03-11 22:53:45 (GMT) |
commit | 90f5ba538bf40bcf4fd41049c7bf4296d3ffc9c7 (patch) | |
tree | 37b97cf0f76dd747214492f49125d8dfe8220420 /Tools/webchecker | |
parent | e8c1f95090c35bef099c88be69dd1d1311527264 (diff) | |
download | cpython-90f5ba538bf40bcf4fd41049c7bf4296d3ffc9c7.zip cpython-90f5ba538bf40bcf4fd41049c7bf4296d3ffc9c7.tar.gz cpython-90f5ba538bf40bcf4fd41049c7bf4296d3ffc9c7.tar.bz2 |
convert shebang lines: python -> python3
Diffstat (limited to 'Tools/webchecker')
-rwxr-xr-x | Tools/webchecker/wcgui.py | 2 | ||||
-rwxr-xr-x | Tools/webchecker/webchecker.py | 2 | ||||
-rwxr-xr-x | Tools/webchecker/websucker.py | 2 | ||||
-rwxr-xr-x | Tools/webchecker/wsgui.py | 2 |
4 files changed, 4 insertions, 4 deletions
diff --git a/Tools/webchecker/wcgui.py b/Tools/webchecker/wcgui.py index 4ce613a..88d8f56 100755 --- a/Tools/webchecker/wcgui.py +++ b/Tools/webchecker/wcgui.py @@ -1,4 +1,4 @@ -#! /usr/bin/env python +#! /usr/bin/env python3 """GUI interface to webchecker. diff --git a/Tools/webchecker/webchecker.py b/Tools/webchecker/webchecker.py index 651cf85..7c3124c 100755 --- a/Tools/webchecker/webchecker.py +++ b/Tools/webchecker/webchecker.py @@ -1,4 +1,4 @@ -#! /usr/bin/env python +#! /usr/bin/env python3 # Original code by Guido van Rossum; extensive changes by Sam Bayer, # including code to check URL fragments. diff --git a/Tools/webchecker/websucker.py b/Tools/webchecker/websucker.py index 3bbdec3..8076af5 100755 --- a/Tools/webchecker/websucker.py +++ b/Tools/webchecker/websucker.py @@ -1,4 +1,4 @@ -#! /usr/bin/env python +#! /usr/bin/env python3 """A variant on webchecker that creates a mirror copy of a remote site.""" diff --git a/Tools/webchecker/wsgui.py b/Tools/webchecker/wsgui.py index b2223c4..032523b 100755 --- a/Tools/webchecker/wsgui.py +++ b/Tools/webchecker/wsgui.py @@ -1,4 +1,4 @@ -#! /usr/bin/env python +#! /usr/bin/env python3 """Tkinter-based GUI for websucker. |