diff options
author | Jérôme Laurens <jerome.laurens@u-bourgogne.fr> | 2017-09-12 17:16:53 +0000 |
---|---|---|
committer | Jérôme Laurens <jerome.laurens@u-bourgogne.fr> | 2017-09-12 17:16:53 +0000 |
commit | 312adec8990003ebcbd7a504d658f893d63a8d53 (patch) | |
tree | 0520467ca4c81c0baaaeb72a193573aab9ecd6bd /Master/texmf-dist/tex/latex | |
parent | 1d59272d3a22556be28be08cbbcd140f23db9554 (diff) |
synchronization enhancement and header included, only affects the synctex command line tool and editors
git-svn-id: svn://tug.org/texlive/trunk@45276 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/tex/latex')
0 files changed, 0 insertions, 0 deletions