Merge pull request #140 from mpeuster/master
authorpeusterm <manuel.peuster@uni-paderborn.de>
Mon, 18 Jul 2016 09:33:06 +0000 (11:33 +0200)
committerpeusterm <manuel.peuster@uni-paderborn.de>
Mon, 18 Jul 2016 09:33:06 +0000 (11:33 +0200)
Fix: Bidirectional CLI argument should be boolean


Trivial merge