diff options
Diffstat (limited to 'main.py')
-rwxr-xr-x | main.py | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -45,7 +45,7 @@ except ImportError: | |||
45 | 45 | ||
46 | from color import SetDefaultColoring | 46 | from color import SetDefaultColoring |
47 | import event_log | 47 | import event_log |
48 | from trace import SetTrace | 48 | from repo_trace import SetTrace |
49 | from git_command import git, GitCommand | 49 | from git_command import git, GitCommand |
50 | from git_config import init_ssh, close_ssh | 50 | from git_config import init_ssh, close_ssh |
51 | from command import InteractiveCommand | 51 | from command import InteractiveCommand |
@@ -84,7 +84,7 @@ global_options.add_option('--color', | |||
84 | help='control color usage: auto, always, never') | 84 | help='control color usage: auto, always, never') |
85 | global_options.add_option('--trace', | 85 | global_options.add_option('--trace', |
86 | dest='trace', action='store_true', | 86 | dest='trace', action='store_true', |
87 | help='trace git command execution') | 87 | help='trace git command execution (REPO_TRACE=1)') |
88 | global_options.add_option('--time', | 88 | global_options.add_option('--time', |
89 | dest='time', action='store_true', | 89 | dest='time', action='store_true', |
90 | help='time repo command execution') | 90 | help='time repo command execution') |