diff options
| author | Marco Pesenti Gritti <mpg@redhat.com> | 2006-04-27 18:58:10 (GMT) |
|---|---|---|
| committer | Marco Pesenti Gritti <mpg@redhat.com> | 2006-04-27 18:58:10 (GMT) |
| commit | 38c5e5847bf22f0845cdd9ce3ba9ea2d588c7967 (patch) | |
| tree | 2c26a812e4d2f2ef60386221cc344aa12606a1ff /shell/src/shell.py | |
| parent | af89be9a0c991a0e8ba91a1966345062bff984a4 (diff) | |
Add some tab icons, still missing web site icons
Diffstat (limited to 'shell/src/shell.py')
| -rwxr-xr-x | shell/src/shell.py | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/shell/src/shell.py b/shell/src/shell.py index 880c9c8..5ce526e 100755 --- a/shell/src/shell.py +++ b/shell/src/shell.py @@ -300,6 +300,3 @@ def main(): gtk.main() except KeyboardInterrupt: pass - -if __name__=="__main__": - main() |