diff options
| author | Peter Breitenlohner <peb@mppmu.mpg.de> | 2012-10-03 10:50:44 +0000 |
|---|---|---|
| committer | Peter Breitenlohner <peb@mppmu.mpg.de> | 2012-10-03 10:50:44 +0000 |
| commit | 3c02a9fad304101bcfce495d881c9590f6998943 (patch) | |
| tree | 3d4be9558cd2fe2bc9725f5a0b2416b34aee68cb /Build/source/utils | |
| parent | 49149b2fd0e2e53cf8fbb7c48bcb3be3c7e52136 (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/utils')
0 files changed, 0 insertions, 0 deletions