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): |
