diff options
author | Olaf Hering <olh@suse.de> | 2006-02-11 12:26:30 +0100 |
---|---|---|
committer | Junio C Hamano <junkio@cox.net> | 2006-03-09 18:13:19 -0800 |
commit | 180b0d7483711120e28289ff7d9fa346eddd5cb7 (patch) | |
tree | 5001ff628cce6efd777f8a064bcca07643517eb5 /rsh.h | |
parent | f61c2c970c08653ade940fce678c7591abcfcde4 (diff) | |
download | git-180b0d7483711120e28289ff7d9fa346eddd5cb7.tar.gz |
allow double click on current HEAD id after git-pull
Double click on to current HEAD commit id is not possible,
the dot has to go.
[jc: by popular requests.]
Signed-off-by: Junio C Hamano <junkio@cox.net>
Diffstat (limited to 'rsh.h')
0 files changed, 0 insertions, 0 deletions