user-manual: give 'git push -f' as an alternative to +master
[git/mingw.git] / .gitattributes
blob5e98806c6cc246acef5f539ae191710a0c06ad3f
1 * whitespace=!indent,trail,space
2 *.[ch] whitespace=indent,trail,space
3 *.sh whitespace=indent,trail,space