diff options
author | Zdeněk Wagner <zdenek.wagner@gmail.com> | 2016-07-06 20:08:57 +0000 |
---|---|---|
committer | Zdeněk Wagner <zdenek.wagner@gmail.com> | 2016-07-06 20:08:57 +0000 |
commit | ac7d43be2322b5a65af54032699afabb5e877c64 (patch) | |
tree | e96f6a9bb6e08082321cc7e4215d725bdfdb0f45 /Master/texmf-dist/doc/generic/velthuis/manual.pdf | |
parent | 1c78193062a8e973a7244184470589b4eff56a24 (diff) |
Version and date identification updated in the manual.
git-svn-id: svn://tug.org/texlive/trunk@41641 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/doc/generic/velthuis/manual.pdf')
-rw-r--r-- | Master/texmf-dist/doc/generic/velthuis/manual.pdf | bin | 539574 -> 539574 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/generic/velthuis/manual.pdf b/Master/texmf-dist/doc/generic/velthuis/manual.pdf Binary files differindex 0bfddc39324..da0ff85d1c3 100644 --- a/Master/texmf-dist/doc/generic/velthuis/manual.pdf +++ b/Master/texmf-dist/doc/generic/velthuis/manual.pdf |