From: Matthias Maier 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