From 3d71ac7e14c9abc3b0099092b73285c5de39e7f4 Mon Sep 17 00:00:00 2001
From: Andy Stewart <boss@airbladesoftware.com>
Date: Wed, 28 Aug 2019 10:24:58 +0100
Subject: [PATCH] Fix duplicate tag.

---
 doc/gitgutter.txt | 1 -
 1 file changed, 1 deletion(-)

diff --git a/doc/gitgutter.txt b/doc/gitgutter.txt
index e55f552..d17a3ce 100644
--- a/doc/gitgutter.txt
+++ b/doc/gitgutter.txt
@@ -366,7 +366,6 @@ This setting is ignore when the diff is relative to the working tree
 (|g:gitgutter_diff_relative_to|).
 
                                                              *g:gitgutter_grep*
-                                                             *g:gitgutter_grep*
 Default: 'grep'
 
 The plugin pipes the output of git-diff into grep to minimise the amount of data