diff options
author | Karl Berry <karl@freefriends.org> | 2018-11-02 20:52:45 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2018-11-02 20:52:45 +0000 |
commit | c17064775d7e90924ff14d980639b5d6d9e0618a (patch) | |
tree | 4c335d485e75a8fe7e3776d21105bc774e4ae0cf /Master/texmf-dist/source/latex/grayhints/grayhints.ins | |
parent | a6bc45dd24d1f3842b164f345b38526bbbdff0cb (diff) |
grayhints (2nov18)
git-svn-id: svn://tug.org/texlive/trunk@49052 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/source/latex/grayhints/grayhints.ins')
-rw-r--r-- | Master/texmf-dist/source/latex/grayhints/grayhints.ins | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/texmf-dist/source/latex/grayhints/grayhints.ins b/Master/texmf-dist/source/latex/grayhints/grayhints.ins index 064332eb747..254bc29d953 100644 --- a/Master/texmf-dist/source/latex/grayhints/grayhints.ins +++ b/Master/texmf-dist/source/latex/grayhints/grayhints.ins @@ -15,7 +15,7 @@ %% %% --------------- start of docstrip commands ------------------ %% -\def\filedate{2016/01/12} +\def\filedate{2018/11/01} \def\batchfile{grayhints.ins} \input docstrip |