chiark / gitweb /
update default config for present environment