chiark / gitweb /
util: ignore_file should not allow files ending with '~'