summaryrefslogtreecommitdiff
path: root/Build/source/texk/dviljk
diff options
context:
space:
mode:
authorPeter Breitenlohner <peb@mppmu.mpg.de>2012-10-03 10:50:44 +0000
committerPeter Breitenlohner <peb@mppmu.mpg.de>2012-10-03 10:50:44 +0000
commit3c02a9fad304101bcfce495d881c9590f6998943 (patch)
tree3d4be9558cd2fe2bc9725f5a0b2416b34aee68cb /Build/source/texk/dviljk
parent49149b2fd0e2e53cf8fbb7c48bcb3be3c7e52136 (diff)
use stat in is_dir ().
git-svn-id: svn://tug.org/texlive/trunk@27870 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/dviljk')
0 files changed, 0 insertions, 0 deletions