chiark / gitweb /
dot/shell-rc: If terminal is `dumb' then use vanilla prompts.
[profile] / dot / vm
2016-06-02 Mark WoodingMerge branch 'master' of git.distorted.org.uk:~mdw...
2016-05-24 Mark Woodingdot/emacs, dot/vm: Hack the applications used for viewi...
2016-05-24 Mark Woodingdot/vm: Remove list of ancient email addresses.
2009-07-18 Mark WoodingGreat reorganization.