diff options
| author | Pratyush Yadav <me@yadavpratyush.com> | 2019-09-14 02:18:27 +0530 |
|---|---|---|
| committer | Pratyush Yadav <me@yadavpratyush.com> | 2019-09-14 02:18:27 +0530 |
| commit | acfa495519d7c12cfafe1c0e52fdac40f5e41032 (patch) | |
| tree | d5207a238fb0bbf650b08519afac0f3b0bb0bfee /git-gui/lib/diff.tcl | |
| parent | c77abf04604d74859f3ec81c44cd4ef2b084ebde (diff) | |
| parent | ba41b5b335b00ac1cb277c83b87ebf3c26b670c0 (diff) | |
Merge branch 'bw/amend-checkbutton'
Change the amend setting from two radio buttons ("New commit" and "Amend
commit") to a single checkbutton. The two radio buttons can never be
selected together because they are exactly the opposite of each other,
so it makes sense to change it to a single checkbutton.
* bw/amend-checkbutton:
git-gui: convert new/amend commit radiobutton to checkbutton
Diffstat (limited to 'git-gui/lib/diff.tcl')
0 files changed, 0 insertions, 0 deletions