diff options
Diffstat (limited to 'repo')
-rwxr-xr-x | repo | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -23,7 +23,7 @@ REPO_REV = 'stable' | |||
23 | # limitations under the License. | 23 | # limitations under the License. |
24 | 24 | ||
25 | # increment this whenever we make important changes to this script | 25 | # increment this whenever we make important changes to this script |
26 | VERSION = (1, 24) | 26 | VERSION = (1, 25) |
27 | 27 | ||
28 | # increment this if the MAINTAINER_KEYS block is modified | 28 | # increment this if the MAINTAINER_KEYS block is modified |
29 | KEYRING_VERSION = (1, 2) | 29 | KEYRING_VERSION = (1, 2) |
@@ -183,7 +183,7 @@ group.add_option('-b', '--manifest-branch', | |||
183 | group.add_option('-m', '--manifest-name', | 183 | group.add_option('-m', '--manifest-name', |
184 | dest='manifest_name', | 184 | dest='manifest_name', |
185 | help='initial manifest file', metavar='NAME.xml') | 185 | help='initial manifest file', metavar='NAME.xml') |
186 | group.add_option('-c', '--current-branch', | 186 | group.add_option('--current-branch', |
187 | dest='current_branch_only', action='store_true', | 187 | dest='current_branch_only', action='store_true', |
188 | help='fetch only current manifest branch from server') | 188 | help='fetch only current manifest branch from server') |
189 | group.add_option('--mirror', | 189 | group.add_option('--mirror', |