dealii/dealii — pull request #30 by bangerth (2014-07-26 02:37:51+00:00)
Title: Fix links to doc/reports/index.html.

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.