Thomas Dy 506832c956 git: make prune-local also remove branches by other users vor 2 Jahren
..
config 506832c956 git: make prune-local also remove branches by other users vor 2 Jahren
ignore 9d240fa613 git: remove tags from ignore vor 3 Jahren