chiark / gitweb /
dot/shell-rc: Run `cross-run' nicely by default.