From 019bbf43fd75bff495ec410d885ceddba33980c8 Mon Sep 17 00:00:00 2001 From: Matthias Maier Date: Sat, 22 May 2021 09:35:42 -0500 Subject: [PATCH] Update doxygen tags. --- doc/users/doxygen.html | 1 + 1 file changed, 1 insertion(+) 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, -- 2.39.5