]> git.tdb.fi Git - libs/core.git/commitdiff
Check that the option actually has a short name
authorMikko Rasa <tdb@tdb.fi>
Sat, 14 Jul 2012 21:40:23 +0000 (00:40 +0300)
committerMikko Rasa <tdb@tdb.fi>
Sat, 14 Jul 2012 21:40:23 +0000 (00:40 +0300)

No differences found