Phil Nash 3bc03cd617 Went back to Catch 1.x behaviour for -d
-d takes "yes" or "no", rather than being a standalone flag option. The default is "defaultForReporter" so the previous change actually dropped some control.
2017-08-18 15:53:10 +01:00
..
2017-07-27 11:32:01 +02:00
2017-07-27 11:32:01 +02:00
2017-08-14 09:14:49 +01:00
2017-07-27 11:32:01 +02:00