mirror of
https://github.com/git/git.git
synced 2026-02-24 09:03:52 +00:00
I chose <F5> because it's also the key to reload the current page in web browsers such as Konqueror and Firefox, so users are more likely to be familiar with it. Signed-off-by: Eric Wong <normalperson@yhbt.net> Signed-off-by: Paul Mackerras <paulus@samba.org>
171 KiB
Executable File
171 KiB
Executable File