- Jul 22, 2014
-
-
Peter Eisentraut authored
The latest update introduced some funny whitespace, but since they are externally maintained files, we add them to the list of files to ignore.
-
- Nov 13, 2013
-
-
Peter Eisentraut authored
Avoid the use of **, which was only introduced in Git version 1.8.2.
-
- Nov 10, 2013
-
-
Peter Eisentraut authored
Set per file type attributes in .gitattributes to fine-tune whitespace checks. With the associated cleanups, the tree is now clean for git
-