chiark / gitweb /
Remove unwanted files in a more consistent way