Merge "Ignore cover directory from git"

This commit is contained in:
Jenkins 2015-06-02 14:32:39 +00:00 committed by Gerrit Code Review
commit c2e8b80ee3

1
.gitignore vendored

@ -19,3 +19,4 @@ doc/source/api/
# Development environment files
.project
.pydevproject
cover