diff options
| author |  Johannes Schindelin <johannes.schindelin@gmx.de> | 2017-01-19 21:30:40 +0100 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2017-01-19 13:23:43 -0800 |
| commit | 019678d6b1f83419cdc35e3d455175adce3a379c (patch) | |
| tree | d023c50ba54786bec05c089daa83cbf96fa3f51a /git-gui | |
| parent | difftool: implement the functionality in the builtin (diff) | |
| download | tgif-019678d6b1f83419cdc35e3d455175adce3a379c.tar.xz | |
difftool: retire the scripted version
It served its purpose, but now we have a builtin difftool. Time for the
Perl script to enjoy Florida.
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'git-gui')
0 files changed, 0 insertions, 0 deletions