chiark / gitweb /
Merge branch 'master' of git.distorted.org.uk:~mdw/publish/public-git/profile
authorMark Wooding <mdw@distorted.org.uk>
Fri, 15 Jan 2016 22:43:53 +0000 (22:43 +0000)
committerMark Wooding <mdw@distorted.org.uk>
Fri, 15 Jan 2016 22:43:53 +0000 (22:43 +0000)
* '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.


Trivial merge