From 98f4005a77a08514dc9d8d6717da828b1838f20b Mon Sep 17 00:00:00 2001 From: Matthias Maier Date: Tue, 14 May 2019 08:49:07 -0500 Subject: [PATCH] Update TAG file --- doc/users/doxygen.html | 1 + 1 file changed, 1 insertion(+) diff --git a/doc/users/doxygen.html b/doc/users/doxygen.html index afe88b58d5..302c6b0572 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.1.0, 9.0.0, 8.5.0, 8.4.2, -- 2.39.5