diff options
Diffstat (limited to 'Master/texmf-dist/source/latex/changes/userdoc/files_original.tex')
-rw-r--r-- | Master/texmf-dist/source/latex/changes/userdoc/files_original.tex | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/Master/texmf-dist/source/latex/changes/userdoc/files_original.tex b/Master/texmf-dist/source/latex/changes/userdoc/files_original.tex deleted file mode 100644 index f3dce8da50b..00000000000 --- a/Master/texmf-dist/source/latex/changes/userdoc/files_original.tex +++ /dev/null @@ -1,12 +0,0 @@ -\begin{tabbing} - mm\=\kill - \>\texttt{source/latex/changes/changes.drv}\\ - \>\texttt{source/latex/changes/changes.dtx}\\ - \>\texttt{source/latex/changes/changes.ins}\\ - \>\texttt{source/latex/changes/examples.dtx}\\ - \>\texttt{source/latex/changes/README}\\ - \>\texttt{source/latex/changes/userdoc/*.tex}\\ - - \>\texttt{scripts/changes/delcmdchanges.bash} -\end{tabbing} - |