diff options
-rwxr-xr-x | Master/bin/i386-cygwin/hitex.exe | bin | 447502 -> 447502 bytes |
-rwxr-xr-x | Master/bin/x86_64-cygwin/hitex.exe | bin | 413184 -> 413184 bytes |
2 files changed, 0 insertions, 0 deletions
diff --git a/Master/bin/i386-cygwin/hitex.exe b/Master/bin/i386-cygwin/hitex.exe Binary files differindex fde3776027c..15c0452120b 100755 --- a/Master/bin/i386-cygwin/hitex.exe +++ b/Master/bin/i386-cygwin/hitex.exe diff --git a/Master/bin/x86_64-cygwin/hitex.exe b/Master/bin/x86_64-cygwin/hitex.exe Binary files differindex 5c1425382a1..0e5fdcde511 100755 --- a/Master/bin/x86_64-cygwin/hitex.exe +++ b/Master/bin/x86_64-cygwin/hitex.exe |