chiark / gitweb /
Config file fixes.