fix dtx comments

texjporg · Mar 6, 2018 · 2da5288 · 2da5288
1 parent 16e1c37
commit 2da5288
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/jslogo.dtx b/jslogo.dtx
@@ -1,7 +1,7 @@
 % ^^A -*- japanese-latex -*-
 %
 % \ifx\epTeXinputencoding\undefined\else
-%   \epTeXinputencoding utf8 % added (2017-10-04)
+%   \epTeXinputencoding utf8 % ^^A added (2017-10-04)
 % \fi
 %
 % \iffalse meta-comment

diff --git a/jsverb.dtx b/jsverb.dtx
@@ -1,7 +1,7 @@
 % ^^A -*- japanese-latex -*-
 %
 % \ifx\epTeXinputencoding\undefined\else
-%   \epTeXinputencoding utf8 % added (2017-10-04)
+%   \epTeXinputencoding utf8 % ^^A added (2017-10-04)
 % \fi
 %
 % \iffalse

diff --git a/okuverb.dtx b/okuverb.dtx
@@ -1,7 +1,7 @@
 % ^^A -*- japanese-latex -*-
 %
 % \ifx\epTeXinputencoding\undefined\else
-%   \epTeXinputencoding utf8 % added (2017-10-04)
+%   \epTeXinputencoding utf8 % ^^A added (2017-10-04)
 % \fi
 %
 % \iffalse