chiark / gitweb /
Remove src/kernel-install