From 4ea337126e15d2c4f4f29faa95394a6b72a21724 Mon Sep 17 00:00:00 2001 From: Matthias Maier Date: Tue, 23 Jul 2024 17:38:22 -0500 Subject: [PATCH] Adjust users/doxygen.html --- doc/users/doxygen.html | 1 + 1 file changed, 1 insertion(+) diff --git a/doc/users/doxygen.html b/doc/users/doxygen.html index 6c1cca7823..a8dd87e0c2 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.6.0, 9.5.0, 9.4.0, 9.3.3, -- 2.39.5