From: Martin Kronbichler Date: Sun, 10 May 2020 15:10:59 +0000 (+0200) Subject: Merge pull request #10116 from tjhei/step-50-kind X-Git-Tag: v9.2.0-rc1~50 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=2db20231f073ce5544e9ea242b2f60631cb9b403;p=dealii.git Merge pull request #10116 from tjhei/step-50-kind step-50: set kind to techniques --- 2db20231f073ce5544e9ea242b2f60631cb9b403