diff options
Diffstat (limited to 'Master/texmf-dist/tex/latex-dev/tools/.tex')
-rw-r--r-- | Master/texmf-dist/tex/latex-dev/tools/.tex | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Master/texmf-dist/tex/latex-dev/tools/.tex b/Master/texmf-dist/tex/latex-dev/tools/.tex index ff0d77e6fc4..a6b7144e01d 100644 --- a/Master/texmf-dist/tex/latex-dev/tools/.tex +++ b/Master/texmf-dist/tex/latex-dev/tools/.tex @@ -1,5 +1,5 @@ %% -%% This is file `.tex', +%% This is file `rename-to-empty-base.tex', %% generated with the docstrip utility. %% %% The original source files were: @@ -38,4 +38,4 @@ \message{File ignored} \endinput %% -%% End of file `.tex'. +%% End of file `rename-to-empty-base.tex'. |