From 4ef928f88821778b3b69c004d27d24e33fc0662d Mon Sep 17 00:00:00 2001 From: Michael Hanke Date: Thu, 2 Nov 2023 09:57:30 +0100 Subject: [PATCH] Fix log filters The command *output* is filtered. So the respective first line will not start with a newline. The change removes the newline *after* the message, rather than that in front of it. --- docs/conf.py | 34 +++++++++++++++++----------------- 1 file changed, 17 insertions(+), 17 deletions(-) diff --git a/docs/conf.py b/docs/conf.py index 48c991d1c..9007b7ffa 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -68,26 +68,26 @@ (r'(action summary:(\n^ \S+ \(\S+(?