From e110d807a778ca54fdb5886759ca7cdd80c8c48e Mon Sep 17 00:00:00 2001 From: pascalkuthe Date: Wed, 5 Jul 2023 15:50:36 +0000 Subject: [PATCH] deploy: 9ccca81305ed091c5635418a9363fddc5e4b575d --- master/install.html | 6 +++--- master/print.html | 6 +++--- master/searchindex.js | 2 +- master/searchindex.json | 2 +- 4 files changed, 8 insertions(+), 8 deletions(-) diff --git a/master/install.html b/master/install.html index b2a4dddd9..befb866d1 100644 --- a/master/install.html +++ b/master/install.html @@ -156,7 +156,7 @@