LICENSE
|
6fc2b28927
License GPL
|
5 years ago |
git-ignore.sh
|
6568106728
Use symlinks in /usr/local/share/gitignore
|
5 years ago |
git-rdiff.sh
|
d7db610651
Show different colours for left-only and right-only logs.
|
7 years ago |
gitattributes
|
9b4ce3386c
Add more diff types.
|
6 years ago |
gitconfig
|
469bf174ba
Add green branch information to lg
|
5 years ago |
gitignore
|
8543c1ee04
Ignore profile-guided optimisation side-effects.
|
6 years ago |
gitlocal-new-options
|
125363ec5a
Rename gitlocal -> gitlocal-new-options.
|
9 years ago |
gitlocal-old-options
|
8caf9e835a
Add gitlocal for machines using older versions of git.
|
9 years ago |
pdfcat.sh
|
fe98125ee5
Don't indicate pagebreaks from pdfcat.
|
7 years ago |