tree e08dd3f9b080d7c28599986691db161dcde09fa3
parent 39683871f187578b69c654d16e3d0dc1c866943a
author Markus Zimmermann <markus.zimmermann@nethead.at> 1410874997 +0200
committer Markus Zimmermann <markus.zimmermann@nethead.at> 1410906933 +0200

do not inline printOption and rename it to writeOption