From: Matthias Maier Date: Mon, 21 Jul 2014 06:49:22 +0000 (+0200) Subject: Merge pull request #2 from bangerth/replay-svn-revisions-33204-to-33205 X-Git-Tag: v8.2.0-rc1~268 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=0e6464352eef7415b5f08df1f106c84c250defc1;p=dealii.git Merge pull request #2 from bangerth/replay-svn-revisions-33204-to-33205 Fix references to publications.html. These revisions were apparently lost in the svn to git conversion because the svn repo was still live when the conversion was already happening... --- 0e6464352eef7415b5f08df1f106c84c250defc1