hjp
/
dot
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Merge branch 'master' into wsr_shared

This commit is contained in:
Peter J. Holzer 2023-03-05 15:07:38 +01:00
parent 76af3fcca0 1db95b2996
commit eea9e7b27d
1 changed files with 7 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
.gitconfig
View File

@ -12,3 +12,10 @@
# nothing is inconvenient, matching is dangerous. # nothing is inconvenient, matching is dangerous.
# current is only compatible remaining option. # current is only compatible remaining option.
default = current default = current
[color "diff"]
# Display commit ids blue on white.
# Default is yellow on normal which is unreadable with a light
# background
commit = blue white
[pull]
rebase = false