From: Martin Kronbichler Date: Thu, 6 Nov 2014 07:40:39 +0000 (+0100) Subject: Merge pull request #225 from bangerth/remove-broken-link-2 X-Git-Tag: v8.2.0-rc1~83 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=a4cafaf212254aa99b726ae947bdad7912910080;p=dealii.git Merge pull request #225 from bangerth/remove-broken-link-2 Remove a broken link. --- a4cafaf212254aa99b726ae947bdad7912910080