From: David Wells Date: Tue, 12 Mar 2019 17:02:16 +0000 (-0400) Subject: Merge pull request #7798 from drwells/remove-make_slice X-Git-Tag: v9.1.0-rc1~290 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=58e9af31d62a10aac44e9f29e02109d98d79eb6d;p=dealii.git Merge pull request #7798 from drwells/remove-make_slice Remove make slice --- 58e9af31d62a10aac44e9f29e02109d98d79eb6d