[petsc-dev] dos endings getting into git repository

[Barry Smith]

 Jed,

https://help.github.com/articles/dealing-with-line-endings/

 I think we need a .gitattributes to fix this. Since a bunch of dos files have crept into the repository

  Barry