diff options
-rwxr-xr-x | repo | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -776,8 +776,8 @@ The most commonly used repo commands are: | |||
776 | """ help Display detailed help on a command | 776 | """ help Display detailed help on a command |
777 | 777 | ||
778 | For access to the full online help, install repo ("repo init"). | 778 | For access to the full online help, install repo ("repo init"). |
779 | """, file=sys.stderr) | 779 | """) |
780 | sys.exit(1) | 780 | sys.exit(0) |
781 | 781 | ||
782 | 782 | ||
783 | def _Help(args): | 783 | def _Help(args): |