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