From: Timo Heister Date: Fri, 12 Apr 2019 22:26:29 +0000 (-0600) Subject: Merge pull request #21 from gassmoeller/fix_boolean_detection X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fheads%2Fmaster;p=parameter_gui.git Merge pull request #21 from gassmoeller/fix_boolean_detection Fix the detection of boolean parameters. --- b7c0251b57dfbcc3fe873b25a6eb604a11a63e1d