diff options
author | Pádraig Brady <P@draigBrady.com> | 2017-12-20 14:53:29 +0000 |
---|---|---|
committer | Pádraig Brady <P@draigBrady.com> | 2017-12-20 14:53:29 +0000 |
commit | 6821f2fb4eac73a47f4a272a3f8eb0c2d5160e17 (patch) | |
tree | 9fe299c3ff7cac08ed0f7d660312aaa53e4b9d3a /.gitignore | |
parent | 9f8b16e992b76a606df269868c448e35087d3ddb (diff) | |
download | coreutils-6821f2fb4eac73a47f4a272a3f8eb0c2d5160e17.tar.gz |
maint: add doc/coverage to .gitignore
* .gitignore: Ignore the generated coverage report.
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 342f9a18a..63faf8956 100644 --- a/.gitignore +++ b/.gitignore @@ -40,6 +40,7 @@ /coreutils-*.tar.xz /coreutils-*.tar.xz.sig /doc/manual +/doc/coverage /gnulib-tests /lib/.dirstamp /lib/.gitignore |