diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2023-05-12 17:11:08 +0200 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2023-05-12 17:11:08 +0200 |
| commit | fb2b3591aa832dce5d8d9295d444fbe3909980de (patch) | |
| tree | 247c385e81bb2d866f323f1e2ab66b09df102235 /bin/git_diff | |
| parent | 432eb7ba89c46f97b4d13575d1de2fb41ae83be5 (diff) | |
Clean out unused stuff
Diffstat (limited to 'bin/git_diff')
| -rwxr-xr-x | bin/git_diff | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/bin/git_diff b/bin/git_diff deleted file mode 100755 index a35fc68..0000000 --- a/bin/git_diff +++ /dev/null @@ -1,16 +0,0 @@ -#!/bin/bash -# un-comment one diff tool you'd like to use -# -# From https://stackoverflow.com/a/7669988/3805440, thanks - -# side-by-side diff with custom options: -/usr/bin/sdiff -w200 -l "$2" "$5" - -# using kdiff3 as the side-by-side diff: -#/usr/bin/kdiff3 "$2" "$5" - -# using Meld -#/usr/bin/meld "$2" "$5" - -# using VIM -#/usr/bin/nvim -d "$2" "$5" |