From 433778f5b4c57704f1fa21bdf276d6fa826a5d22 Mon Sep 17 00:00:00 2001 From: pascalkuthe Date: Fri, 3 Nov 2023 21:21:14 +0000 Subject: [PATCH] deploy: 70bbbd7d193a7928c9b621af9a7e192ef8251f6b --- master/print.html | 1 + master/searchindex.js | 2 +- master/searchindex.json | 2 +- master/themes.html | 1 + 4 files changed, 4 insertions(+), 2 deletions(-) diff --git a/master/print.html b/master/print.html index c08d1aae1..f07bf5405 100644 --- a/master/print.html +++ b/master/print.html @@ -1736,6 +1736,7 @@ berry = "#2A2A4D"

type - Types