From: Timo Heister <timo.heister@gmail.com>
Date: Tue, 28 Mar 2017 20:43:00 +0000 (-0400)
Subject: Merge pull request #2 from gassmoeller/add_documentation_panel
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=93aec9bc72c31f0ba4abda8fe45620fb9866547e;p=parameter_gui.git

Merge pull request #2 from gassmoeller/add_documentation_panel

Add documentation panel
---

93aec9bc72c31f0ba4abda8fe45620fb9866547e