From: Denis Davydov Date: Wed, 3 Aug 2016 21:28:24 +0000 (+0200) Subject: Merge pull request #2913 from Rombur/typo X-Git-Tag: v8.5.0-rc1~807 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=cb7abf630acf500871e4fc8f40d23febbe5e0254;p=dealii.git Merge pull request #2913 from Rombur/typo Fix a typo in the documentation. --- cb7abf630acf500871e4fc8f40d23febbe5e0254