mirror of
https://github.com/git/git.git
synced 2025-12-12 20:36:24 +01:00
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>
2.4 KiB
Executable File
2.4 KiB
Executable File