diff options
Diffstat (limited to 'Tools')
| -rwxr-xr-x | Tools/world/world | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Tools/world/world b/Tools/world/world index 2041cf7..a610a56 100755 --- a/Tools/world/world +++ b/Tools/world/world @@ -1,4 +1,4 @@ -#! /bin/env python +#! /usr/bin/env python """Print the long name of an Internet domain. |