diff options
| author | Junio C Hamano <gitster@pobox.com> | 2020-10-17 23:10:58 +0300 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2020-10-17 23:10:58 +0300 |
| commit | 430cabb104103251958ac0739509e0a542e5c774 (patch) | |
| tree | 707b78ab649e53b37c0cf08ee8cb339bfe994cea /diff-lib.c | |
| parent | a5fa49ff0a8f3252c6bff49f92b85e7683868f8a (diff) | |
| parent | 38c2ac2e2ab00a8bcef528f24cb5b883b4413e5c (diff) | |
Merge https://github.com/prati0100/git-gui
* https://github.com/prati0100/git-gui:
git-gui: blame: prevent tool tips from sticking around after Command-Tab
git-gui: improve dark mode support
git-gui: fix mixed tabs and spaces; prefer tabs
Diffstat (limited to 'diff-lib.c')
0 files changed, 0 insertions, 0 deletions