Changeset 77932

Timestamp:

Apr 12, 2012, 9:40:34 AM (11 years ago)

Author:

Vladimir Prus

Message:

Merge: Allow to specify how option's value is named in help message.

Fixes #4781.

(No files)