diff --git a/Utilities/.NoDartCoverage b/Utilities/.NoDartCoverage new file mode 100644 index 000000000..3c9972938 --- /dev/null +++ b/Utilities/.NoDartCoverage @@ -0,0 +1 @@ +# do not do coverage in this directory