From: Wolfgang Bangerth Date: Thu, 11 Oct 2018 23:23:02 +0000 (-0600) Subject: Merge pull request #7283 from jppelteret/refactor_ad_drivers_helper_base_01 X-Git-Tag: v9.1.0-rc1~630 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=eb486401d380d44de305a610c71dac98e502a82e;p=dealii.git Merge pull request #7283 from jppelteret/refactor_ad_drivers_helper_base_01 Refactor AD drivers helper base 01 --- eb486401d380d44de305a610c71dac98e502a82e