diff options
author | Martin Ruckert <martin.ruckert@hm.edu> | 2022-03-10 16:50:22 +0000 |
---|---|---|
committer | Martin Ruckert <martin.ruckert@hm.edu> | 2022-03-10 16:50:22 +0000 |
commit | 18db006a78c86afaae1d2ba4283ae6e85cf38c05 (patch) | |
tree | de9a3e537a0500f06566ecf51a7102e87e45ef35 /Build/source/texk/web2c/hitexdir/doc/hitexman.pdf | |
parent | 5f60e8f78be86b9e31a8140a7bd14c5190a2db97 (diff) |
HiTeX: changing /* _WIN32 ... */ to /* |_WIN32| ... */ to keep TeX happy.
git-svn-id: svn://tug.org/texlive/trunk@62591 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/web2c/hitexdir/doc/hitexman.pdf')
-rw-r--r-- | Build/source/texk/web2c/hitexdir/doc/hitexman.pdf | bin | 234052 -> 234052 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/hitexdir/doc/hitexman.pdf b/Build/source/texk/web2c/hitexdir/doc/hitexman.pdf Binary files differindex 4cfaf2b1b24..c6b3608548b 100644 --- a/Build/source/texk/web2c/hitexdir/doc/hitexman.pdf +++ b/Build/source/texk/web2c/hitexdir/doc/hitexman.pdf |