Thomas Dy 506832c956 git: make prune-local also remove branches by other users il y a 2 ans
..
bin 506832c956 git: make prune-local also remove branches by other users il y a 2 ans