diff options
author | Peter Breitenlohner <peb@mppmu.mpg.de> | 2010-12-16 10:11:49 +0000 |
---|---|---|
committer | Peter Breitenlohner <peb@mppmu.mpg.de> | 2010-12-16 10:11:49 +0000 |
commit | b37f2694d6b9eba19b01c00fa6f317770a9d307a (patch) | |
tree | 2898025f0ee4c3fb3d8f2bb3b0786cb4fa7e5f87 /Build/source/utils/psutils | |
parent | f488f9a7f695a9f1bfda444f57b2cf7818873d2d (diff) |
build system: check consistency of .texi files
git-svn-id: svn://tug.org/texlive/trunk@20763 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/utils/psutils')
0 files changed, 0 insertions, 0 deletions