summaryrefslogtreecommitdiff
path: root/Master/bin/win32/detex.exe
diff options
context:
space:
mode:
Diffstat (limited to 'Master/bin/win32/detex.exe')
-rwxr-xr-xMaster/bin/win32/detex.exebin35840 -> 35840 bytes
1 files changed, 0 insertions, 0 deletions
diff --git a/Master/bin/win32/detex.exe b/Master/bin/win32/detex.exe
index 30b76e7f8fe..67110e018d6 100755
--- a/Master/bin/win32/detex.exe
+++ b/Master/bin/win32/detex.exe
Binary files differ