2016-10-02 23:39:11 +02:00
|
|
|
# This is Git's per-user configuration file.
|
2016-09-26 15:40:04 +02:00
|
|
|
[user]
|
|
|
|
name = Eric Teunis de Boone
|
2016-10-02 23:39:11 +02:00
|
|
|
email = ericteunis@gmail.com
|
|
|
|
[gui]
|
|
|
|
editor = geany
|
2016-09-26 15:40:04 +02:00
|
|
|
[push]
|
|
|
|
default = matching
|
2016-10-02 23:39:11 +02:00
|
|
|
[diff "pdf"]
|
|
|
|
textconv = pdf2txt
|
2016-10-05 01:59:04 +02:00
|
|
|
[core]
|
|
|
|
excludesfile = ~/.gitignore_global
|
2016-10-12 10:27:01 +02:00
|
|
|
[color]
|
|
|
|
ui = auto
|
2016-10-30 00:09:14 +02:00
|
|
|
[merge]
|
|
|
|
conflictstyle = diff3
|
2017-08-26 13:30:58 +02:00
|
|
|
[branch]
|
|
|
|
autosetuprebase = always
|
|
|
|
[diff]
|
|
|
|
tool = vimdiff
|