diff options
author | Andreas Politz <politza@hochschule-trier.de> | 2017-09-09 20:48:55 +0200 |
---|---|---|
committer | Andreas Politz <politza@hochschule-trier.de> | 2017-09-09 20:48:55 +0200 |
commit | 30e107fb9825d0ccdd3858b592b09447ec581064 (patch) | |
tree | a5e6e6437d9499d42fe41791ea2202d499045c18 | |
parent | 87d5b5794f5de02ac5a8c8aef2908db391a7a68c (diff) |
Ignore the server/TAGS file
-rw-r--r-- | server/.gitignore | 1 |
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 |