From: Martin Kronbichler Date: Thu, 6 Aug 2015 07:50:07 +0000 (+0200) Subject: Merge pull request #1271 from bangerth/doc-update-32 X-Git-Tag: v8.4.0-rc2~665 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=e5bf2d330c2b55b80f4a764c476e4f4940f758cb;p=dealii.git Merge pull request #1271 from bangerth/doc-update-32 Fix erroneous wrap of compound word. --- e5bf2d330c2b55b80f4a764c476e4f4940f758cb