chiark / gitweb /
util: rename ignore_file() to hidden_file()