Revert "Merge branch 'feature/clippy' into 'master'"

This reverts merge request !16998
This commit is contained in:
Roland Dobai
2022-06-29 16:46:47 +08:00
parent 9ee26516a7
commit 8dddb8b596
11 changed files with 79 additions and 283 deletions
@@ -114,10 +114,4 @@ def get_parser(): # type: () -> argparse.ArgumentParser
help='Set a strftime()-compatible timestamp format'
)
parser.add_argument(
'--force-color',
help='Always colored monitor output, even if output is redirected.',
default=False,
action='store_true')
return parser