mirror of
https://github.com/git/git.git
synced 2024-11-01 06:47:52 +01:00
Mirror of https://github.com/git/git
cae4b60a98
The widgets on top of the diff window are very tightly packed. Make them breathe a little by adding an 'i'-spaced padding between them. Signed-off-by: Giuseppe Bilotta <giuseppe.bilotta@gmail.com> Signed-off-by: Paul Mackerras <paulus@samba.org> |
||
---|---|---|
po | ||
.gitignore | ||
gitk | ||
Makefile |