chiark / gitweb /
Remove obsolete headers and the src/core directory.