mirror of
https://github.com/git/git.git
synced 2025-12-18 12:00:25 +01:00
Unify naming of plumbing dirlink/gitlink concept: git ls-files -z '*.[ch]' | xargs -0 perl -pi -e 's/dirlink/gitlink/g;' -e 's/DIRLNK/GITLINK/g;' Signed-off-by: Junio C Hamano <junkio@cox.net>
8.2 KiB
8.2 KiB