mirror of
https://github.com/git/git.git
synced 2026-02-28 18:48:50 +00:00
Earlier series to rename documentation pages around did not update this target and left check-docs broken. This should fix it. Signed-off-by: Junio C Hamano <gitster@pobox.com>
40 KiB
40 KiB