Changeset 82805

Timestamp:

Feb 10, 2013, 12:07:05 PM (10 years ago)

Author:

Vladimir Prus

Message:

Fix report of error for options with dashes.

Fixes #8009.
Patch from Markus Roth.

(No files)