Skip to content

Test.pl: exit if a test is interrupted#1445

Merged
smowton merged 1 commit intodiffblue:developfrom
smowton:smowton/feature/test-pl-interrupt
Oct 5, 2017

Commits

Commits on Oct 5, 2017