-
Houtan Bastani authored
reporting: add option to stop LaTeX compilation when an error is encountered (instead of prompting the user for input)
2c0e0e06
reporting: add option to stop LaTeX compilation when an error is encountered (instead of prompting the user for input)