diff options
| -rwxr-xr-x | repo | 3 |
1 files changed, 2 insertions, 1 deletions
| @@ -114,7 +114,8 @@ group.add_option('-b', '--manifest-branch', | |||
| 114 | help='manifest branch or revision', metavar='REVISION') | 114 | help='manifest branch or revision', metavar='REVISION') |
| 115 | group.add_option('-m', '--manifest-name', | 115 | group.add_option('-m', '--manifest-name', |
| 116 | dest='manifest_name', | 116 | dest='manifest_name', |
| 117 | help='initial manifest file', metavar='NAME.xml') | 117 | help='initial manifest file (deprecated)', |
| 118 | metavar='NAME.xml') | ||
| 118 | group.add_option('--mirror', | 119 | group.add_option('--mirror', |
| 119 | dest='mirror', action='store_true', | 120 | dest='mirror', action='store_true', |
| 120 | help='mirror the forrest') | 121 | help='mirror the forrest') |
