chiark / gitweb /
Improve exit status display. New interface from `doto' project.