From: Denis Davydov <davydden@gmail.com>
Date: Thu, 10 May 2018 11:16:20 +0000 (+0200)
Subject: Merge pull request #6570 from tamiko/pr_6564
X-Git-Tag: v9.0.0~5
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=12af3bc52bcbc3f01582286891ebeec08ec4420a;p=dealii.git

Merge pull request #6570 from tamiko/pr_6564

Small doc fixes to the AD module
---

12af3bc52bcbc3f01582286891ebeec08ec4420a