diff options
| author | w0rp <devw0rp@gmail.com> | 2019-05-12 15:42:09 +0100 |
|---|---|---|
| committer | w0rp <devw0rp@gmail.com> | 2019-05-12 15:42:09 +0100 |
| commit | 3303f596e504eec3b8b4202a7cfee4feff660699 (patch) | |
| tree | 363d8dc86498bde5ba7a95b5ed849130347207c2 /test/command_callback/tex_paths/sample2.tex | |
| parent | df90725c858103f1c63eb1c96f3e4e4727c32a7d (diff) | |
| download | ale-3303f596e504eec3b8b4202a7cfee4feff660699.zip | |
Fix #2490 - Kill other processes when the test script is interrupted
Diffstat (limited to 'test/command_callback/tex_paths/sample2.tex')
0 files changed, 0 insertions, 0 deletions