diff --git a/tools/manual/index.html b/tools/manual/index.html index 119573951f..9c8f094189 100644 --- a/tools/manual/index.html +++ b/tools/manual/index.html @@ -49,7 +49,8 @@ a:link, a:visited { Development - Version 9.1 + Version 2022.1 + Version 9.1 Version 8.2 Version 8.1 Version 7.1