From 18db006a78c86afaae1d2ba4283ae6e85cf38c05 Mon Sep 17 00:00:00 2001 From: Martin Ruckert Date: Thu, 10 Mar 2022 16:50:22 +0000 Subject: HiTeX: changing /* _WIN32 ... */ to /* |_WIN32| ... */ to keep TeX happy. git-svn-id: svn://tug.org/texlive/trunk@62591 c570f23f-e606-0410-a88d-b1316a301751 --- Build/source/texk/web2c/hitexdir/doc/hitexman.pdf | Bin 234052 -> 234052 bytes 1 file changed, 0 insertions(+), 0 deletions(-) (limited to 'Build/source/texk/web2c/hitexdir/doc/hitexman.pdf') diff --git a/Build/source/texk/web2c/hitexdir/doc/hitexman.pdf b/Build/source/texk/web2c/hitexdir/doc/hitexman.pdf index 4cfaf2b1b24..c6b3608548b 100644 Binary files a/Build/source/texk/web2c/hitexdir/doc/hitexman.pdf and b/Build/source/texk/web2c/hitexdir/doc/hitexman.pdf differ -- cgit v1.2.3