git-gui: allow reverting selected lines
authorPratyush Yadav <me@yadavpratyush.com>
Sun, 25 Aug 2019 20:05:27 +0000 (01:35 +0530)
committerPratyush Yadav <me@yadavpratyush.com>
Sun, 25 Aug 2019 20:05:27 +0000 (01:35 +0530)
commit5f0a516de9e8e6abdd37a79546f904a0ddbce58d
tree1d72cb689e7a423f0ecc16eeb1e4e38187a7e7cc
parent5ab72271e16ac23c269f5019a74a7b1d65170e47
git-gui: allow reverting selected lines

Just like the user can select lines to stage or unstage, add the
ability to revert selected lines.

Signed-off-by: Pratyush Yadav <me@yadavpratyush.com>
git-gui.sh
lib/diff.tcl