Skip to content

Commit 4f1e460

Browse files
rename Optional arguments to Utility arguments, since all arguments are optional
although, arguably, they all provide Utility as well. wait, was this 'Optional arguments' header supposed to introduce *all* of the arguments, and just has a couple misc ones under it, as a sort of pun? Well, whatever.
1 parent 3a75ee6 commit 4f1e460

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

mypy/main.py

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -551,7 +551,7 @@ def add_invertible_flag(
551551
# long and will break up into multiple lines if we include that prefix, so for consistency
552552
# we omit the prefix on all links.)
553553

554-
general_group = parser.add_argument_group(title="Optional arguments")
554+
general_group = parser.add_argument_group(title="Utility arguments")
555555
general_group.add_argument(
556556
"-h", "--help", action="help", help="Show this help message and exit"
557557
)

0 commit comments

Comments
 (0)