From b55ada7281758f8993ab0a7f2f4110fe611afcad Mon Sep 17 00:00:00 2001 From: anoadragon453 Date: Thu, 29 Aug 2024 10:34:51 +0000 Subject: [PATCH] deploy: 9eed8cd8789d929488b15de36373249239acece5 --- develop/print.html | 5 +++-- develop/searchindex.js | 2 +- develop/searchindex.json | 2 +- develop/usage/configuration/config_documentation.html | 5 +++-- 4 files changed, 8 insertions(+), 6 deletions(-) diff --git a/develop/print.html b/develop/print.html index 55717233cf..1574e2cf54 100644 --- a/develop/print.html +++ b/develop/print.html @@ -4236,7 +4236,8 @@ Also make sure that metrics is not included in resourcesValid resource names are: