Magic-Mirror/gecko-dev
1
0
Fork 0
mirror of https://github.com/mozilla/gecko-dev.git synced 2024-11-24 21:31:04 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Bug 1051987 - Remove useless option which wasn't supposed to go in the commit

Browse Source 
--HG--
extra : amend_source : 83ccc90a5ee1b0a41640d2b1451208add8dc2c5d
This commit is contained in:
Sylvestre Ledru 2014-08-18 15:33:51 +02:00
parent d257c5c025
commit 06c5b7516f
1 changed files with 0 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
python/mach/mach/main.py
View File

@ -595,9 +595,6 @@ To see more help for a specific command, run:
action='store_true', default=False,
help='Do not prefix log lines with times. By default, mach will '
'prefix each output line with the time since command start.')
global_group.add_argument('--show-disabled', dest='show_disabled',
action='store_true', default=False,
help='Hide the display of disabled options.')
global_group.add_argument('-h', '--help', dest='help',
action='store_true', default=False,
help='Show this help message.')