summaryrefslogtreecommitdiff
path: root/THANKS
diff options
context:
space:
mode:
authorDrew Varner <andrew@go-factory.net>2017-01-30 02:22:16 -0500
committerDrew Varner <andrew@go-factory.net>2017-01-30 12:26:07 -0500
commit9b099f41d6100f87dcb334d4acdcfbcdac2c97f1 (patch)
treed994bcd58ec72669c851d3a3e9d120419fd366b4 /THANKS
parent9ecb0b0363bf62762b383f10e7fd9919c16c0d6c (diff)
Allow exclusion of apps in cover
Adds a new option `{cover_excl_apps, Apps}` to exclude apps from coverage analysis by name.
Diffstat (limited to 'THANKS')
-rw-r--r--THANKS1
1 files changed, 1 insertions, 0 deletions
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