From: markus schnalke <meillo@marmaro.de>
Date: Sat, 5 May 2012 05:55:20 +0000 (+0200)
Subject: Don't require a length for switch prefixes without good reason.
X-Git-Tag: mmh-thesis-end~48
X-Git-Url: http://git.marmaro.de/?p=mmh;a=commitdiff_plain;h=bd60514e13b4b1d4e2f726e6fc54da9eff6a263e;hp=bd60514e13b4b1d4e2f726e6fc54da9eff6a263e

Don't require a length for switch prefixes without good reason.
E.g. there's no reason (anymore?) to require the user to type `whatnow -prom'
when `whatnow -p' is already distinguishing.
---