From 5349854cd7a5c3ddc2821c431829e0b3eb027fdb Mon Sep 17 00:00:00 2001
From: Jamie Lennox <jamielennox@redhat.com>
Date: Mon, 1 Jun 2015 17:46:02 +1000
Subject: [PATCH] Ignore cover directory from git

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
---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

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