Closed piechottam closed 5 years ago
[...] -D Store feature-filtered results in another file (= RESULT-FILE.filtered) [...] -s Store feature-filtered results in another file (= RESULT-FILE.filtered) [...]
Fixed in RC6
[...] -D Store feature-filtered results in another file (= RESULT-FILE.filtered) [...] -s Store feature-filtered results in another file (= RESULT-FILE.filtered) [...]