From 842176a595c4fa151f5fe9ec41826dbae52c0390 Mon Sep 17 00:00:00 2001 From: Markus Triska Date: Fri, 5 Mar 2021 18:36:00 +0100 Subject: [PATCH] is is --> is --- src/lib/format.pl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/lib/format.pl b/src/lib/format.pl index 823c700c..d873f2cc 100644 --- a/src/lib/format.pl +++ b/src/lib/format.pl @@ -153,7 +153,7 @@ element_gluevar(glue(_,V), N, N) --> [V]. available space is distributed. newline is used if ~n occurs in a format string. - It is is used because a newline character does not + It is used because a newline character does not consume whitespace in the sense of format strings. - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ -- 2.54.0