chiark / gitweb /
Ignore some extra subdirectories `branches', `dist' and `patches'.