diff options
| author | William Carroll <wpcarro@gmail.com> | 2022-10-07T17·07-0700 |
|---|---|---|
| committer | clbot <clbot@tvl.fyi> | 2022-10-07T18·58+0000 |
| commit | 4d6267821ba2c969d14c0fe8c5325dd687863934 (patch) | |
| tree | 3ee7ef53693668a13bb773b1644d30b7aeb5a799 /users/sterni/dot-time-man-pages | |
| parent | a572f8e23d1ef0fee861f809b402d5131b4d6da2 (diff) | |
feat(wpcarro/dotfiles): Use difftastic as git diff engine r/5054
Mostly good, but I'm not sure it works with `git diff --patch`. Not a big deal though if true. Change-Id: I268c52dd253f5b0f9dd462a1825206da5dd86dd2 Reviewed-on: https://cl.tvl.fyi/c/depot/+/6889 Reviewed-by: wpcarro <wpcarro@gmail.com> Autosubmit: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI
Diffstat (limited to 'users/sterni/dot-time-man-pages')
0 files changed, 0 insertions, 0 deletions