summaryrefslogtreecommitdiff
path: root/Master/bin
diff options
context:
space:
mode:
Diffstat (limited to 'Master/bin')
-rwxr-xr-xMaster/bin/win32/detex.exebin73728 -> 24576 bytes
1 files changed, 0 insertions, 0 deletions
diff --git a/Master/bin/win32/detex.exe b/Master/bin/win32/detex.exe
index a503235b000..9eb3cb8c60b 100755
--- a/Master/bin/win32/detex.exe
+++ b/Master/bin/win32/detex.exe
Binary files differ