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