From: Wolfgang Bangerth <bangerth@colostate.edu>
Date: Wed, 26 Feb 2020 18:16:00 +0000 (+0100)
Subject: Merge pull request #9569 from tjhei/doxygen_skip_header_step_b
X-Git-Tag: v9.2.0-rc1~499
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=350fd17bfc23af5f2102d0fd302762305f6ec40e;p=dealii.git

Merge pull request #9569 from tjhei/doxygen_skip_header_step_b

doxygen: skip license header in step-xxb
---

350fd17bfc23af5f2102d0fd302762305f6ec40e