Mike McQuaid af8091a279

Remove ARGV_WITHOUT_MONKEY_PATCHING ...

Our usage of `ARGV` will go away soon enough and maintaining state
between `ARGV` and `ARGV_WITHOUT_MONKEY_PATCHING` is futile.

Fixes #7397

2020-04-20 10:27:14 +01:00

..

args.rb

Remove ARGV_WITHOUT_MONKEY_PATCHING

2020-04-20 10:27:14 +01:00

parser.rb

cli/args: simplify initialisation.

2020-04-18 21:14:35 +01:00