[darcs-devel] [patch1984] finally fix parsing of option arguments (and 2 more)
bugs at darcs.net
Sun Jul 19 15:41:57 UTC 2020
Ben Franksen <ben.franksen at online.de> added the comment:
>> * finally fix parsing of option arguments
> Looks good. I think it'd have been slightly nicer to have had
> showIntArg/showIndexRangeArg counterparts to
> parseIntArg/prettyIndexRangeArg in D.UI.Options.Utils so that the string
> formats are defined in one place, but it's no big deal.
Good idea. See patch2058.
Darcs bug tracker <bugs at darcs.net>
More information about the darcs-devel