From 9b099f41d6100f87dcb334d4acdcfbcdac2c97f1 Mon Sep 17 00:00:00 2001 From: Drew Varner Date: Mon, 30 Jan 2017 02:22:16 -0500 Subject: Allow exclusion of apps in cover Adds a new option `{cover_excl_apps, Apps}` to exclude apps from coverage analysis by name. --- THANKS | 1 + 1 file changed, 1 insertion(+) (limited to 'THANKS') diff --git a/THANKS b/THANKS index e91d941..d6e3869 100644 --- a/THANKS +++ b/THANKS @@ -139,3 +139,4 @@ Derek Brown Heinz N. Gies Roberto Aloi Andrew McRobb +Drew Varner -- cgit v1.1