From 9c28404fe14514f50e3c8499b33b7d7d389e5cc8 Mon Sep 17 00:00:00 2001 From: Matthias Maier Date: Fri, 4 May 2018 15:24:25 -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 3c3621da5a..e9b807310a 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.0.0, 8.5.0, 8.4.2, 8.3.0, -- 2.39.5