git/gitignore: Remove duplicate entries.

diff --git a/git/gitignore b/git/gitignore
index a769a54d95bd48870743108c98071cb4826321a1..9bb13cbddfab4daf55bf0a7c858028ef1863e013 100644 (file)
--- 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