]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #13071 from bangerth/filter-2
authorMartin Kronbichler <martin.kronbichler@it.uu.se>
Wed, 15 Dec 2021 18:58:41 +0000 (19:58 +0100)
committerGitHub <noreply@github.com>
Wed, 15 Dec 2021 18:58:41 +0000 (19:58 +0100)
commit8acb4f7432f7d09ad186d846d1d3740066e2d4ff
treee859c16c1636eab438b7cb184a8db113958e161d
parent0acb31bc42dabf695863292e985a466d48c2dd9a
parent31c15a0873f2a33600f98f5563c6cea39e79ce9a
Merge pull request #13071 from bangerth/filter-2

Use one instead of two regexes.
doc/doxygen/scripts/filter

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.