tree a78e5d41bdfdc5ead1a015d266a075c2951e57b9
parent 5ac4a0c0000838a7942a9edb53eec990a202602d
author Markus Zimmermann <markus.zimmermann@nethead.at> 1399912380 +0200
committer Markus Zimmermann <markus.zimmermann@nethead.at> 1399912380 +0200

the returning Option of parseOption is never used