chiark / gitweb /
Be more careful when checking for empty files