From: Timo Heister <timo.heister@gmail.com>
Date: Fri, 31 Mar 2017 19:49:34 +0000 (-0400)
Subject: Merge pull request #6 from gassmoeller/bold_non_default_values
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=c84d08eb8f1c4bbb65db1065a9fbe63cdee5c4b3;p=parameter_gui.git

Merge pull request #6 from gassmoeller/bold_non_default_values

Show non-default values in bold
---

c84d08eb8f1c4bbb65db1065a9fbe63cdee5c4b3