diff options
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. |