From: Wolfgang Bangerth Date: Wed, 1 May 2019 13:51:50 +0000 (-0600) Subject: Merge pull request #7985 from jppelteret/ad-doc_02 X-Git-Tag: v9.1.0-rc1~156 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=e1d8afb1e2e955b19d7646e9ba69b79ef31d0fc4;p=dealii.git Merge pull request #7985 from jppelteret/ad-doc_02 Update module on user interfaces to AD libraries --- e1d8afb1e2e955b19d7646e9ba69b79ef31d0fc4