diff options
author | InvincibleDude <81354513+InvincibleDude@users.noreply.github.com> | 2023-03-03 19:49:24 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-03-03 19:49:24 +0300 |
commit | e97b83bdbb852fd2c06ed2ec6c0f92d458e82245 (patch) | |
tree | 0f0b3779120d602d1d833a50e33c9f73b218f684 /launch.py | |
parent | 51f81efb02876d24c9e6d844e8c0cbd2384f6514 (diff) | |
parent | 0cc0ee1bcb4c24a8c9715f66cede06601bfc00c8 (diff) |
Merge branch 'master' into improved-hr-conflict-test
Diffstat (limited to 'launch.py')
-rw-r--r-- | launch.py | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -242,7 +242,7 @@ def prepare_environment(): sys.argv += shlex.split(commandline_args)
- parser = argparse.ArgumentParser()
+ parser = argparse.ArgumentParser(add_help=False)
parser.add_argument("--ui-settings-file", type=str, help="filename to use for ui settings", default='config.json')
args, _ = parser.parse_known_args(sys.argv)
|