From 2b6598cdefa0e2fa46a2f5b57d1452f184386ced Mon Sep 17 00:00:00 2001
From: Josh Dolitsky <jdolitsky@gmail.com>
Date: Thu, 15 Nov 2018 23:19:58 -0600
Subject: [PATCH] add coverage file to gitignore

Signed-off-by: Josh Dolitsky <jdolitsky@gmail.com>
---
 .gitignore | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.gitignore b/.gitignore
index 34518917..abefb191 100644
--- a/.gitignore
+++ b/.gitignore
@@ -14,3 +14,6 @@
 # Developer IDEs etc.
 .idea/*
 .vscode/*
+
+# Other
+coverage.html