diff options
Diffstat (limited to 'Master/bin')
| -rwxr-xr-x | Master/bin/x86_64-linux/synctex | bin | 144152 -> 144152 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/Master/bin/x86_64-linux/synctex b/Master/bin/x86_64-linux/synctex Binary files differindex e221eb12bd1..e8c8a22d703 100755 --- a/Master/bin/x86_64-linux/synctex +++ b/Master/bin/x86_64-linux/synctex |