Ignore cover directory from git

Jamie Lennox · Jamie Lennox · commit 0c9f5c25e4b7 · 2015-06-01T17:46:02.000+10:00
The cover directory holds autogenerated coverage reports that should
not be checked into git and should therefore go in the gitignore file.

Change-Id: I4f7225b5422493f99bc534d6ac622e0703781e6d
diff --git a/.gitignore b/.gitignore
@@ -19,3 +19,4 @@ doc/source/api/
 # Development environment files
 .project
 .pydevproject
+cover
