chiark / gitweb /
build system: include "configure" in .gitignore