summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAndreas Politz <politza@hochschule-trier.de>2017-09-09 20:48:55 +0200
committerAndreas Politz <politza@hochschule-trier.de>2017-09-09 20:48:55 +0200
commit30e107fb9825d0ccdd3858b592b09447ec581064 (patch)
treea5e6e6437d9499d42fe41791ea2202d499045c18
parent87d5b5794f5de02ac5a8c8aef2908db391a7a68c (diff)
Ignore the server/TAGS file
-rw-r--r--server/.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/server/.gitignore b/server/.gitignore
index 315237e..a3cc612 100644
--- a/server/.gitignore
+++ b/server/.gitignore
@@ -22,3 +22,4 @@ config.h.in~
callgrind.out.*
config.guess
config.sub
+TAGS