Thomas Dy 506832c956 git: make prune-local also remove branches by other users 2 سال پیش
..
config 506832c956 git: make prune-local also remove branches by other users 2 سال پیش
ignore 9d240fa613 git: remove tags from ignore 3 سال پیش