From: Matthias Maier <tamiko@43-1.org>
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,
       <a href="../doxygen/deal.II/index.html">here</a>. For older revisions,
 	links are provided here by revision number:
+	<a href="http://www.dealii.org/9.3.0/doxygen/deal.tag">9.3.0</a>,
 	<a href="http://www.dealii.org/9.2.0/doxygen/deal.tag">9.2.0</a>,
 	<a href="http://www.dealii.org/9.1.0/doxygen/deal.tag">9.1.0</a>,
 	<a href="http://www.dealii.org/9.0.0/doxygen/deal.tag">9.0.0</a>,