From 19b15e77f6359e858604d1bd998e6305eb8d86e9 Mon Sep 17 00:00:00 2001 From: Sergey Matveev Date: Fri, 14 Apr 2023 12:18:12 +0300 Subject: [PATCH] Redundant @documentencoding --- doc/index.texi | 1 - 1 file changed, 1 deletion(-) diff --git a/doc/index.texi b/doc/index.texi index 5ab94d0..1e8d944 100644 --- a/doc/index.texi +++ b/doc/index.texi @@ -1,5 +1,4 @@ \input texinfo -@documentencoding UTF-8 @settitle paster @copying -- 2.44.0