From: Timo Heister <timo.heister@gmail.com>
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