From: Matthias Maier Date: Thu, 24 Jul 2014 22:10:15 +0000 (+0200) Subject: Merge pull request #23 from bangerth/fix-changelogs X-Git-Tag: v8.2.0-rc1~255 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=5a6e95a2330a8b34ca8e59cb3b887882c9a6d4df;p=dealii.git Merge pull request #23 from bangerth/fix-changelogs 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. --- 5a6e95a2330a8b34ca8e59cb3b887882c9a6d4df