chiark / gitweb /
dot/shell-rc: Fix missing `;;' in `case'.