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/makejvf | |
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/makejvf')
0 files changed, 0 insertions, 0 deletions