Merge branch 'master' of git.distorted.org.uk:~mdw/publish/public-git/profile
authorMark Wooding <mdw@distorted.org.uk>
Tue, 9 Feb 2016 18:45:24 +0000 (18:45 +0000)
committerMark Wooding <mdw@distorted.org.uk>
Tue, 9 Feb 2016 18:45:24 +0000 (18:45 +0000)
commit53906acf9ec96ec148bf1a18dcdfed785d69c377
tree92bcba8ae76d1894589ab93ce6dd149f63437a9e
parente04a3368683fd88836e1d4f8d98526195e735643
parent07d972e48ec5bb8c4eb851c3f3e2067c1b117f85
Merge branch 'master' of git.distorted.org.uk:~mdw/publish/public-git/profile

* 'master' of git.distorted.org.uk:~mdw/publish/public-git/profile:
  bin/mdw-build: Detect Scratchbox2 and qualify the `dist-...' dir name.
  bin/mdw-build: Make `checkout=REV' actually work.
  bin/mdw-build: Missing `;;' in `case'.
  dot/gnus.el: Configure the correct way to save articles.