kohsuke/args4j — pull request #20 by andrewgaul (2013-03-26 05:56:59+00:00)
Title: Introduce hidden options

Developers often use hidden options for internal purposes which they
do not wish to expose to end-users.