From: Matthias Maier <tamiko@43-1.org>
Date: Mon, 18 May 2020 17:44:49 +0000 (-0500)
Subject: Merge pull request #73 from drwells/cleanup-removed-features
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=8e820464ea24de315f65abc0ea2e626065821406;p=code-gallery.git

Merge pull request #73 from drwells/cleanup-removed-features

Cleanup removed features
---

8e820464ea24de315f65abc0ea2e626065821406