From: Wolfgang Bangerth <bangerth@colostate.edu>
Date: Sat, 25 Aug 2018 13:28:39 +0000 (-0600)
Subject: Merge pull request #7118 from jppelteret/ad-drivers_02
X-Git-Tag: v9.1.0-rc1~779
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=4c5120f40b8fdd5b93511777be734232f9ea7a8a;p=dealii.git

Merge pull request #7118 from jppelteret/ad-drivers_02

Enhancements to AD drivers header
---

4c5120f40b8fdd5b93511777be734232f9ea7a8a