diff options
| author | Norbert Preining <preining@logic.at> | 2016-04-21 00:31:43 +0000 |
|---|---|---|
| committer | Norbert Preining <preining@logic.at> | 2016-04-21 00:31:43 +0000 |
| commit | 1bf271f3d5249f93f9c8f9b911f0a0ee0221194f (patch) | |
| tree | 40852cc7dd20927ba6339e3e3d14197ea006cf30 /Build/logs | |
| parent | 0977df7d314abf862bcbc9f0c231157c499e5016 (diff) | |
verification reporting reworked: be non-intrusive
git-svn-id: svn://tug.org/texlive/trunk@40640 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/logs')
0 files changed, 0 insertions, 0 deletions