Merge pull request #15618 from keszybz/help-output
authorZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Tue, 28 Apr 2020 17:31:16 +0000 (19:31 +0200)
committerGitHub <noreply@github.com>
Tue, 28 Apr 2020 17:31:16 +0000 (19:31 +0200)
commit2344aefccf3c21f0b9125e93282599c7bea2d960
treebd12ff48325e3e43f74a37bf9990e57d472490bb
parent8653422b6abde97def967856354e11c3e3c826a2
parentc11428adf9a789ff2b13a4095450f47af2b49c30
Merge pull request #15618 from keszybz/help-output

Small adjustments to --help output