diff options
author | Peter Breitenlohner <peb@mppmu.mpg.de> | 2013-11-18 08:44:50 +0000 |
---|---|---|
committer | Peter Breitenlohner <peb@mppmu.mpg.de> | 2013-11-18 08:44:50 +0000 |
commit | 4cc10efa40984467840f0d8380415c45acc68c7a (patch) | |
tree | f9035dc4317c72f26a469136329646be02ad8e1e /Build/logs | |
parent | 3727ee24040b6c00c121694a925988c49dac31dc (diff) |
dviselect: Remove dvi files with 0 pages and signal failure (from Akira)
git-svn-id: svn://tug.org/texlive/trunk@32175 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/logs')
0 files changed, 0 insertions, 0 deletions