Files
git/git-reset.sh
Johannes Schindelin 95f2fb7d9f git-reset --hard: tell the user what the HEAD was reset to
Signed-off-by: Johannes Schindelin <Johannes.Schindelin@gmx.de>
Signed-off-by: Junio C Hamano <junkio@cox.net>
2006-12-21 22:47:49 -08:00

2.2 KiB
Executable File