Clean up different special *HEAD handling
[git.git] / git-reset-script
2005-06-15 Linus TorvaldsTrivial git script fixups