chiark / gitweb /
.gitignore: Arrange a place for generated files which can't be installed.