chiark / gitweb /
Remove coredump check