From: Timo Heister Date: Wed, 20 Jan 2016 21:45:59 +0000 (-0500) Subject: Merge pull request #2091 from drwells/fix-documentation-verbatim-block X-Git-Tag: v8.4.0-rc2~69 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=aa209e608bf284a14ee590c83721eb542ce77961;p=dealii.git Merge pull request #2091 from drwells/fix-documentation-verbatim-block Fix documentation verbatim block --- aa209e608bf284a14ee590c83721eb542ce77961