diff options
author | Camil Staps | 2018-05-05 16:14:02 +0200 |
---|---|---|
committer | Camil Staps | 2018-05-05 16:14:02 +0200 |
commit | b9330e241878413bc06bf75fde5f945e6ac81416 (patch) | |
tree | 34d008d383feab44f8ed28c96fcf4e4340bce92e /git | |
parent | Remove GHCi bloat (diff) |
Add tagfiles to global gitignore
Diffstat (limited to 'git')
-rw-r--r-- | git/.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/git/.gitignore b/git/.gitignore index 3ee2bd9..62fb8d6 100644 --- a/git/.gitignore +++ b/git/.gitignore @@ -1 +1,2 @@ .iclmargs +tags |