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)
commit5ec027970640e933e781170654ada49cebf402f2
tree5ae00b13e9d1321eb9adb328e933ebd53df13fa4
parent45dda84f087c85d4e9c847b108f393982038c7a1
parenta307071a43b4a060970d8bc36993ddd78e0e1e96
Merge pull request #140 from mpeuster/master

Fix: Bidirectional CLI argument should be boolean