From: Daniel Arndt Date: Mon, 5 Aug 2019 21:51:36 +0000 (-0400) Subject: Merge pull request #8457 from Rombur/ginkgo_doc X-Git-Tag: v9.2.0-rc1~1319 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=7e7add5634c7ffd24d79a0b5334a97b261a5380d;p=dealii.git Merge pull request #8457 from Rombur/ginkgo_doc Enable Ginkgo when building doxygen --- 7e7add5634c7ffd24d79a0b5334a97b261a5380d