chiark / gitweb /
dot/shell-rc: Use `$USER' directly now that I've set it properly.
[profile] / kermit /
2012-02-21 Mark Woodingkermit/dial.shared: Demon `Dial Companion' number.
2012-02-20 Mark WoodingMerge branch 'master' of git://git.distorted.org.uk...
2012-02-20 Mark WoodingImprove Kermit configuration.