chiark / gitweb /
scanner: don't warn about ignored files