| commit | 3d983866a1b080ff618717cee6fea0bd7c22a4f3 | [log] [tgz] |
|---|---|---|
| author | Frank Gevaerts <frank@gevaerts.be> | Mon Jan 12 12:18:04 2015 +0100 |
| committer | Frank Gevaerts <frank@gevaerts.be> | Mon Jan 12 12:18:26 2015 +0100 |
| tree | 814f6fb3593c0ea3c2ce6cda435f7b5b73a7a37f | |
| parent | 9ffd9327e339ee9028654000497525b62e826652 [diff] |
Set latex input to /dev/null to avoid blocking on errors Change-Id: If8878efb5d4244f5d25b9bfd4751a262080af53f