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/hiformat.pdf | Bin 1255758 -> 1255758 bytes 1 file changed, 0 insertions(+), 0 deletions(-) (limited to 'Build/source/texk/web2c/hitexdir/doc/hiformat.pdf') diff --git a/Build/source/texk/web2c/hitexdir/doc/hiformat.pdf b/Build/source/texk/web2c/hitexdir/doc/hiformat.pdf index 24be775d32b..088b11c186b 100644 Binary files a/Build/source/texk/web2c/hitexdir/doc/hiformat.pdf and b/Build/source/texk/web2c/hitexdir/doc/hiformat.pdf differ -- cgit v1.2.3