From: Mark Wooding <mdw@distorted.org.uk>
Date: Fri, 15 Jan 2016 22:43:53 +0000 (+0000)
Subject: Merge branch 'master' of git.distorted.org.uk:~mdw/publish/public-git/profile
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~mdw/git/profile/commitdiff_plain/200cf428d8a550f520123f7d3bcb0a17f76e3472?ds=sidebyside

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: Add a `native' option.
  bin/mdw-build: Allow configuration of the `setup' command.
  bin/mdw-build: `nocommit' isn't a special case.
  git/attributes: Don't put tabs in TeX files.
  dot/e16-bindings: Set cursor shape; repaint display.
---

200cf428d8a550f520123f7d3bcb0a17f76e3472