Guillaume DOTT 142604f152 git: set vimdiff as difftool and mergetool		2012-11-08 15:08:01 +01:00
..
gitconfig.example	git: added push.default in gitconfig.example for git >=2	2012-11-07 11:51:45 +01:00
gitconfig.include	git: set vimdiff as difftool and mergetool	2012-11-08 15:08:01 +01:00