chiark / gitweb /
man: document COREDUMP_UNIT and COREDUMP_USER_UNIT