From 611e54f9e9755065d1bb3a8e0b70c7d54ba7af04 Mon Sep 17 00:00:00 2001 From: Richard Russon Date: Mon, 9 Sep 2019 10:17:45 +0100 Subject: [PATCH] docs: fix formatting of example --- doc/manual.xml.head | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/doc/manual.xml.head b/doc/manual.xml.head index 8ccee0b0c..03b11df8a 100644 --- a/doc/manual.xml.head +++ b/doc/manual.xml.head @@ -1919,10 +1919,7 @@ color sidebar_divider color8 default # Dark grey -\e[ -Ps; -Ps;.. -Ps;m +\e[ Ps; Ps; ... Ps;m -- 2.40.0