diff --git a/ci/index-pages.html b/ci/index-pages.html index f8b0709b03a6e8f0af817cfe294d171339bbd0ba..0a2e73e78e5833b618991e1c189d79e54aa2b35b 100644 --- a/ci/index-pages.html +++ b/ci/index-pages.html @@ -8,12 +8,12 @@