chiark / gitweb /
Seperate the machine settings from the preference settings