diff options
author | Johannes Schindelin <Johannes.Schindelin@gmx.de> | 2006-12-21 15:26:35 +0100 |
---|---|---|
committer | Junio C Hamano <junkio@cox.net> | 2006-12-21 22:47:49 -0800 |
commit | 95f2fb7d9f84779bf036bb748e245c91bc572840 (patch) | |
tree | 12c63348f979f674c2cf39ffc2da2939353d65d9 /diff.c | |
parent | f79c73ce9ce5d8bd1b4abaf3fc384aa8daa169ef (diff) | |
download | git-95f2fb7d9f84779bf036bb748e245c91bc572840.tar.gz |
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>
Diffstat (limited to 'diff.c')
0 files changed, 0 insertions, 0 deletions