mirror of
https://github.com/git/git.git
synced 2026-04-09 00:10:10 +02:00
It's better to check in multiple locations, so the user doesn't have to. And update the documentation. Signed-off-by: Felipe Contreras <felipe.contreras@gmail.com> Signed-off-by: Junio C Hamano <gitster@pobox.com>
5.5 KiB
5.5 KiB