From: Matthias Maier Date: Sat, 22 May 2021 14:35:42 +0000 (-0500) Subject: Update doxygen tags. X-Git-Tag: v9.3.0-rc1~5^2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=019bbf43fd75bff495ec410d885ceddba33980c8;p=dealii.git Update doxygen tags. --- diff --git a/doc/users/doxygen.html b/doc/users/doxygen.html index 028727b0ae..94bb121203 100644 --- a/doc/users/doxygen.html +++ b/doc/users/doxygen.html @@ -30,6 +30,7 @@ Doxygen, if the online documentation is available, here. For older revisions, links are provided here by revision number: + 9.3.0, 9.2.0, 9.1.0, 9.0.0,