Alexander Niederbühl 26403a67d7 Use `ignore` flag in grcov call instead of `ignore-dirs` ... See https://github.com/mozilla/grcov/issues/193		2020-01-12 14:23:36 +01:00
..
actions	Fix Windows test	2019-11-17 16:34:55 +09:00
travis	Use `ignore` flag in grcov call instead of `ignore-dirs`	2020-01-12 14:23:36 +01:00