From: Matthias Maier Date: Sun, 7 Feb 2016 02:06:29 +0000 (-0600) Subject: Merge pull request #2143 from tjhei/documentation_updates X-Git-Tag: v8.4.0-rc2~27 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=8dead4279ee45b47b6eb1583aecf3ace61e93cde;p=dealii.git Merge pull request #2143 from tjhei/documentation_updates Documentation updates --- 8dead4279ee45b47b6eb1583aecf3ace61e93cde