diff options
author | Taco Hoekwater <taco@elvenkind.com> | 2010-05-13 07:52:28 +0000 |
---|---|---|
committer | Taco Hoekwater <taco@elvenkind.com> | 2010-05-13 07:52:28 +0000 |
commit | f0a58db7edea32e3bd100add19aab00c225ecb94 (patch) | |
tree | 192c1ff0f5045e53f2c6f1e96510992befc9e027 /Master/source | |
parent | efabee1b742bcf1a583b63f9212e285dbb308e21 (diff) |
integrate new synctex from Jerome Laurens
git-svn-id: svn://tug.org/texlive/trunk@18227 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/source')
0 files changed, 0 insertions, 0 deletions