diff options
| -rw-r--r-- | coverity/.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/coverity/.gitignore b/coverity/.gitignore index 52f763f0..c68481c7 100644 --- a/coverity/.gitignore +++ b/coverity/.gitignore @@ -1,3 +1,4 @@ /*/ /*.tar.* /*.zip +/* |