From: Luca Heltai Date: Sat, 26 Jul 2014 08:22:03 +0000 (+0200) Subject: Merge pull request #30 from bangerth/move-reports-master X-Git-Tag: v8.2.0-rc1~248 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=fda91f466539162badd9c8766a04e31de4376ec5;p=dealii.git Merge pull request #30 from bangerth/move-reports-master Wolfgang. This file (lost in the conversion from svn to git) was moved to http://www.dealii.org/reports.html since the actual reports are already there. This patch redirects the links there as well. Fix links to doc/reports/index.html. --- fda91f466539162badd9c8766a04e31de4376ec5