summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xMaster/bin/win32/texdocc.exebin10752 -> 10752 bytes
1 files changed, 0 insertions, 0 deletions
diff --git a/Master/bin/win32/texdocc.exe b/Master/bin/win32/texdocc.exe
index 60f65595dac..07d057b7d95 100755
--- a/Master/bin/win32/texdocc.exe
+++ b/Master/bin/win32/texdocc.exe
Binary files differ