Function: vc-git-rename-file



(fn OLD NEW)