chiark / gitweb /
dot/inputrc: Guard `colored-stats' setting.