diff options
author | Junio C Hamano <gitster@pobox.com> | 2019-09-18 11:22:11 -0700 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2019-09-18 11:22:11 -0700 |
commit | 7e1976e2100da661e858e3aa12ae2c8d152431c2 (patch) | |
tree | e038bcff3e55a4fb8c858025592299931e454f22 /Documentation/technical | |
parent | Merge gitk to pick up emergency build fix (diff) | |
parent | Merge branch 'bp/amend-toggle-bind' (diff) | |
download | tgif-7e1976e2100da661e858e3aa12ae2c8d152431c2.tar.xz |
Merge branch 'master' of https://github.com/prati0100/git-gui
* 'master' of https://github.com/prati0100/git-gui:
git-gui: add hotkey to toggle "Amend Last Commit"
git-gui: add horizontal scrollbar to commit buffer
git-gui: convert new/amend commit radiobutton to checkbutton
git-gui: add hotkeys to set widget focus
git-gui: allow undoing last revert
git-gui: return early when patch fails to apply
git-gui: allow reverting selected hunk
git-gui: allow reverting selected lines
Diffstat (limited to 'Documentation/technical')
0 files changed, 0 insertions, 0 deletions