chiark / gitweb /
.gitattributes: New file; highlight bad whitespace properly in Python.