From: Mark Wooding <mdw@distorted.org.uk>
Date: Tue, 29 Apr 2014 09:36:48 +0000 (+0100)
Subject: git/gitignore: Remove duplicate entries.
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~mdw/git/profile/commitdiff_plain/b0e86111e2825f82c00dde0315ffe2fd43f71ab7

git/gitignore: Remove duplicate entries.
---

diff --git a/git/gitignore b/git/gitignore
index a769a54..9bb13cb 100644
--- a/git/gitignore
+++ b/git/gitignore
@@ -5,9 +5,10 @@
 \#*
 .#*
 
+## Semantic clutter.
 semantic.cache
 
-## STG clutter.
+## StGit clutter.
 .stgit-edit.txt
 *.ancestor
 *.patched
@@ -23,11 +24,3 @@ build
 build-*
 dist-*
 deb-build
-
-## Semantic clutter and tags stuff
-semantic.cache
-TAGS
-GPATH
-GRTAGS
-GSYMS
-GTAGS