handle short opts
commitb4def22cb3207c02e2955b05dc17784fcfa9e5ff
authorMartin Bays <mbays@freeshell.org>
Mon, 1 Sep 2014 00:44:24 +0000 (1 02:44 +0200)
committerMartin Bays <mbays@freeshell.org>
Mon, 1 Sep 2014 00:44:24 +0000 (1 02:44 +0200)
tree5133ea9159a48b0fe751554c076ebad72b0a7264
parent1b2d51edb3c0d21c9aa868994e3622c303b11530
handle short opts

Ignore-this: f56fd9d87cf450c8763cc939586d310

darcs-hash:b29bce59ffeb2d8ef75bbb7c3a08769977e88460
flinkspkg/Config.py