From: Martin Kronbichler Date: Sat, 30 Apr 2016 07:04:09 +0000 (+0200) Subject: Merge pull request #2565 from bangerth/doc-update-59 X-Git-Tag: v8.5.0-rc1~1064 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=427db348221bedad0952dc819f37889c6e1b0c30;p=dealii.git Merge pull request #2565 from bangerth/doc-update-59 Improve an error message. --- 427db348221bedad0952dc819f37889c6e1b0c30