diff options
author | Peter Breitenlohner <peb@mppmu.mpg.de> | 2011-04-16 12:06:54 +0000 |
---|---|---|
committer | Peter Breitenlohner <peb@mppmu.mpg.de> | 2011-04-16 12:06:54 +0000 |
commit | 017d7edcd26d81f68ed094c2ecfaaec9dbe584ab (patch) | |
tree | 5529dad4190b7f83660cd5a6da6cd74ea25b23f5 /Master/texmf-dist/doc/generic/xlop/READ.ME | |
parent | de213e63ed71445ac929103b9b15d8c79fdc1f63 (diff) |
synctex: small bug fix
luaTeX: drop private copies of synctex files
git-svn-id: svn://tug.org/texlive/trunk@22094 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/doc/generic/xlop/READ.ME')
0 files changed, 0 insertions, 0 deletions