summaryrefslogtreecommitdiff
path: root/Build/source/utils/xindy/configure
diff options
context:
space:
mode:
authorTaco Hoekwater <taco@elvenkind.com>2010-05-13 07:52:28 +0000
committerTaco Hoekwater <taco@elvenkind.com>2010-05-13 07:52:28 +0000
commitf0a58db7edea32e3bd100add19aab00c225ecb94 (patch)
tree192c1ff0f5045e53f2c6f1e96510992befc9e027 /Build/source/utils/xindy/configure
parentefabee1b742bcf1a583b63f9212e285dbb308e21 (diff)
integrate new synctex from Jerome Laurens
git-svn-id: svn://tug.org/texlive/trunk@18227 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/utils/xindy/configure')
0 files changed, 0 insertions, 0 deletions