Skip to content

Use -p option of test.pl instead of printer script - #1605

Merged
tautschnig merged 1 commit into
diffblue:developfrom
romainbrenguier:bugfix/failed-tests-printer-removed
Nov 24, 2017
Merged

Use -p option of test.pl instead of printer script#1605
tautschnig merged 1 commit into
diffblue:developfrom
romainbrenguier:bugfix/failed-tests-printer-removed

Use -p option of test.pl instead of printer script

a6af95d
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs