git-instaweb: Remove pidfile after stopping web server
[git] / .gitattributes
1 * whitespace=!indent,trail,space
2 *.[ch] whitespace=indent,trail,space
3 *.sh whitespace=indent,trail,space