Add "__noreturn__" attribute to die() and usage()
[git.git] / Documentation / git-ssh-push.txt
2005-06-05 Junio C Hamano[PATCH] rename git-rpush and git-rpull to git-ssh-push...