maint: add doc/coverage to .gitignore

* .gitignore: Ignore the generated coverage report.
This commit is contained in:
Pádraig Brady 2017-12-20 14:53:29 +00:00
parent 9f8b16e992
commit 6821f2fb4e

1
.gitignore vendored
View File

@ -40,6 +40,7 @@
/coreutils-*.tar.xz
/coreutils-*.tar.xz.sig
/doc/manual
/doc/coverage
/gnulib-tests
/lib/.dirstamp
/lib/.gitignore