git-tag -d: allow deleting multiple tags at once.
[gitweb.git] / contrib / completion /
drwxr-xr-x   parent (dest: contrib; base: 453c1e857534f90b88367f96fc8ca1e7841f9400)
-rwxr-xr-x 20157 git-completion.bash