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
travis	Use ignore flag in grcov call instead of ignore-dirs	2020-01-12 14:23:36 +01:00