chiark / gitweb /
Add `pause' program.