From: Christopher L. Conway <christopherleeconway@gmail.com>
Date: Mon, 5 Apr 2010 19:10:36 +0000 (+0000)
Subject: Ignoring gcov files
X-Git-Tag: cvc5-1.0.0~9131
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=9f87faf986fb0de5cca52b8253f68fd429177d47;p=cvc5.git

Ignoring gcov files
---

diff --git a/.gitignore b/.gitignore
index 35a7fc332..63534333a 100644
--- a/.gitignore
+++ b/.gitignore
@@ -21,3 +21,5 @@ stamp-generated
 generated/
 *~
 #*#
+*.gcov
+/lcov/