From 0c9f5c25e4b72469c20522ed5a7ab1ae4679d34d 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 5e4f5a3c87..43bd5df814 100644
--- a/.gitignore
+++ b/.gitignore
@@ -19,3 +19,4 @@ doc/source/api/
 # Development environment files
 .project
 .pydevproject
+cover