diff options
| author | Peter Palfrader <peter@palfrader.org> | 2016-02-18 09:47:03 +0100 |
|---|---|---|
| committer | Peter Palfrader <peter@palfrader.org> | 2016-02-18 09:47:03 +0100 |
| commit | 20aac99160eafeb8f5cef96a8123a5b4977d6bca (patch) | |
| tree | 095c607eea9e615dceb8e8dde6cbbfd779a86f21 /irssi-MASTER/config.in | |
| parent | fc4520b2212d1fb79fe15c9023d0cf4cd2f1f041 (diff) | |
-halt-on-error for pdflatex
Diffstat (limited to 'irssi-MASTER/config.in')
0 files changed, 0 insertions, 0 deletions