diff options
Diffstat (limited to 'macros/latex-dev/base/docstrip.pdf')
-rw-r--r-- | macros/latex-dev/base/docstrip.pdf | bin | 479293 -> 479710 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/macros/latex-dev/base/docstrip.pdf b/macros/latex-dev/base/docstrip.pdf Binary files differindex 67d5187d44..71bf27ba33 100644 --- a/macros/latex-dev/base/docstrip.pdf +++ b/macros/latex-dev/base/docstrip.pdf |