From 924aa270681184563d929ebac6c720e6f164d472 Mon Sep 17 00:00:00 2001 From: MANTANI Nobutaka Date: Sun, 15 Nov 2020 13:36:29 +0000 Subject: Update to 1.14.7 snapshot on 2020-11-15. --- editors/semi/files/patch-mime-ui-ja.texi | 10 ---------- 1 file changed, 10 deletions(-) delete mode 100644 editors/semi/files/patch-mime-ui-ja.texi (limited to 'editors/semi/files/patch-mime-ui-ja.texi') diff --git a/editors/semi/files/patch-mime-ui-ja.texi b/editors/semi/files/patch-mime-ui-ja.texi deleted file mode 100644 index 42c9f5f6250c..000000000000 --- a/editors/semi/files/patch-mime-ui-ja.texi +++ /dev/null @@ -1,10 +0,0 @@ ---- mime-ui-ja.texi.orig 2019-08-11 16:55:18 UTC -+++ mime-ui-ja.texi -@@ -1,6 +1,6 @@ - \input texinfo.tex - @setfilename mime-ui-ja.info --@documentencoding iso-2022-jp -+@documentencoding utf-8 - @documentlanguage ja - - @dircategory GNU Emacs Lisp -- cgit v1.2.3