chiark / gitweb /
Remove some cache etc. and output files from .configs