Browse Source

git: ignore TAGS file

Nathalie Furmento 5 years ago
parent
commit
9b9c8c1a20
1 changed files with 1 additions and 0 deletions
  1. 1 0
      .gitignore

+ 1 - 0
.gitignore

@@ -11,6 +11,7 @@
 /GRTAGS
 /GTAGS
 /tags
+/TAGS
 /config.cache
 /doc/starpu.info
 *~