Guillaume DOTT 9b3aa4bdad git: disable backup for mergetool		2013-10-22 17:07:42 +02:00
..
gitconfig.example	git: added push.default in gitconfig.example for git >=2	2012-11-07 11:51:45 +01:00
gitconfig.include	git: disable backup for mergetool	2013-10-22 17:07:42 +02:00