From feff968ec3b1edb0234549854b8ebbc95276bd18 Mon Sep 17 00:00:00 2001 From: Loris Cro Date: Tue, 25 Jul 2023 19:29:23 +0200 Subject: [PATCH] autodoc: html page fixes --- lib/docs/index.html | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/lib/docs/index.html b/lib/docs/index.html index 7e7536a052..8723d24e3c 100644 --- a/lib/docs/index.html +++ b/lib/docs/index.html @@ -963,7 +963,7 @@ case-sensitive.
  • Given ArrayListUnmanaged:

    Multiple terms