summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xrepo3
1 files changed, 2 insertions, 1 deletions
diff --git a/repo b/repo
index 13742559..f73fa58b 100755
--- a/repo
+++ b/repo
@@ -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')
115group.add_option('-m', '--manifest-name', 115group.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')
118group.add_option('--mirror', 119group.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')