Thomas Dy 506832c956 git: make prune-local also remove branches by other users vor 2 Jahren
..
bin 506832c956 git: make prune-local also remove branches by other users vor 2 Jahren