From: Mark Wooding <mwooding@good.com>
Date: Thu, 25 Oct 2012 11:48:59 +0000 (+0100)
Subject: Merge branch 'master' of http://git.distorted.org.uk/~mdw/profile
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~mdw/git/profile/commitdiff_plain/d228b8c4cea20ac3e8ebe2735e891d1459865016?ds=sidebyside;hp=--cc

Merge branch 'master' of git.distorted.org.uk/~mdw/profile

* 'master' of http://git.distorted.org.uk/~mdw/profile:
  el/dot-emacs.el: Magit colouring.
  dot/emacs: Some imenu tweaking.
  dot/emacs: Have Message use the From header as the envelope sender.
  dot/bash_profile: Eliminate the already-run guard.
  dot/ercrc.el: New IRC command `/GREET' to greet robots.
  dot/ercrc.el: New definitions for distorted.org.uk IRC server.
  dot/mykermrc.in: Useful commands for dealing with server consoles.
  dot/ercrc.el: Add an extra entry for chiark via greenend VPN.
---

d228b8c4cea20ac3e8ebe2735e891d1459865016