dealii/dealii — pull request #23 by bangerth (2014-07-24 11:43:18+00:00)
Title: Remove a file forgotten when converting the changelogs.

This file should have been removed in yesterday's conversion of the changelogs from html to doxygen format, but I forgot to delete it. This PR fixes the oversight.