chiark / gitweb /
autoconf: Add a missing gitignore entry