From: Wolfgang Bangerth Date: Wed, 6 Jan 2016 16:52:29 +0000 (-0600) Subject: Merge pull request #13 from dealii/minor-update-2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=d1bfa3bdb5d989849cff9d30cf56c0997bbb7f42;p=code-gallery.git Merge pull request #13 from dealii/minor-update-2 Remove top-level heading. --- d1bfa3bdb5d989849cff9d30cf56c0997bbb7f42