diff options
author | Peter Breitenlohner <peb@mppmu.mpg.de> | 2009-04-20 18:18:32 +0000 |
---|---|---|
committer | Peter Breitenlohner <peb@mppmu.mpg.de> | 2009-04-20 18:18:32 +0000 |
commit | ecc46c734625f919a6209ccefbc4687a28668dca (patch) | |
tree | a635cf033c5a94f2973a354692c66eef5a6655db /Build/source/texk/add-info-toc | |
parent | e5786f530f9555469c01435f86039b06aa53feba (diff) |
new build system: remove texk/one which had been used for testing
git-svn-id: svn://tug.org/texlive/trunk@12760 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/add-info-toc')
0 files changed, 0 insertions, 0 deletions