]> granicus.if.org Git - gc/commitdiff
projects / gc / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 6d1a5cc)
.gitignore: Ignore coverage.info (generated by lcov)
authorIvan Maidanski <ivmai@mail.ru>
Tue, 31 Jan 2017 21:43:43 +0000 (00:43 +0300)
committerIvan Maidanski <ivmai@mail.ru>
Mon, 6 Feb 2017 18:20:04 +0000 (21:20 +0300)
.gitignore patch | blob | history

diff --git a/.gitignore b/.gitignore
index fe9d28c998b8e29e25996a9986d049de142c5f33..7680dab05bcb3578e7e0ea93cf657b62df7842e1 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -146,6 +146,7 @@ stamp-h1
 *.h.gcov
 /.sv*-dir
 /cov-int
+/coverage.info
 /pvs-project.log
 /pvs-project.tasks
 /strace_out
Unnamed repository; edit this file 'description' to name the repository.