From: Matthias Maier <tamiko@43-1.org>
Date: Wed, 6 Jan 2016 17:38:18 +0000 (-0600)
Subject: Merge pull request #2037 from bangerth/hook-in-code-gallery-3
X-Git-Tag: v8.4.0-rc2~110
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=cdb12a361ace420faf2e8fb88a63f00ca3cbc6cd;p=dealii.git

Merge pull request #2037 from bangerth/hook-in-code-gallery-3

Hook in code gallery 3
---

cdb12a361ace420faf2e8fb88a63f00ca3cbc6cd