Function: vc-git-delete-file

(fn FILE)