diff options
author | Peter Breitenlohner <peb@mppmu.mpg.de> | 2010-06-04 12:11:30 +0000 |
---|---|---|
committer | Peter Breitenlohner <peb@mppmu.mpg.de> | 2010-06-04 12:11:30 +0000 |
commit | cd4c0d4bada573a57911986a18aadeadd98c957a (patch) | |
tree | 458f3f5a5fc90eb5991105d5dce60067e3c96a9e /Build/source/texk/web2c/synctexdir | |
parent | 2812aa7b991f88489f57958cf4fcc213895e660f (diff) |
minor build system fix
git-svn-id: svn://tug.org/texlive/trunk@18717 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/web2c/synctexdir')
0 files changed, 0 insertions, 0 deletions