From dc884f660482f812d59e2fbd9a85987da36a52b6 Mon Sep 17 00:00:00 2001 From: Matthias Maier Date: Tue, 27 Jun 2023 10:49:51 -0500 Subject: [PATCH] doc: update tag file list --- doc/users/doxygen.html | 13 +++++++------ 1 file changed, 7 insertions(+), 6 deletions(-) diff --git a/doc/users/doxygen.html b/doc/users/doxygen.html index 1ba2d5bc84..3c76154036 100644 --- a/doc/users/doxygen.html +++ b/doc/users/doxygen.html @@ -30,12 +30,13 @@ Doxygen, if the online documentation is available, here. For older revisions, links are provided here by revision number: - 9.4.0, - 9.3.3, - 9.2.0, - 9.1.1, - 9.0.0, - 8.5.0. + 9.5.0, + 9.4.0, + 9.3.3, + 9.2.0, + 9.1.1, + 9.0.0, + 8.5.0.
  • Once your deal.tag file is in a location where Doxygen can find it, add the following line to your Doxygen -- 2.39.5