diff --git a/.gitignore b/.gitignore index 5e4f5a3c87..43bd5df814 100644 --- a/.gitignore +++ b/.gitignore @@ -19,3 +19,4 @@ doc/source/api/ # Development environment files .project .pydevproject +cover