From: Timo Heister Date: Wed, 1 Jun 2016 08:50:32 +0000 (+0100) Subject: Merge pull request #2660 from bangerth/doc-update-67 X-Git-Tag: v8.5.0-rc1~993 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=f5001cf9d56f971d0a86337e10e56b85ae83727a;p=dealii.git Merge pull request #2660 from bangerth/doc-update-67 Centralize the place where we generate documentation about exception messages. --- f5001cf9d56f971d0a86337e10e56b85ae83727a