chiark / gitweb /
Merge branch 'master' of /home/mdw/public-git/misc
authorMark Wooding <mdw@distorted.org.uk>
Mon, 15 Aug 2011 12:44:42 +0000 (13:44 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Mon, 15 Aug 2011 12:44:42 +0000 (13:44 +0100)
commit4fce9ec34226d1fa28698ef9571e32bead55bd11
treed195b93d2885c8fb4fd99a3e11a119c6ca782f60
parent3b56e117ebdc1535d1b144e34a28134303dfb0eb
parent3ece3fc9e58c63542cf71a59baf1611efc3753b1
Merge branch 'master' of /home/mdw/public-git/misc

* 'master' of /home/mdw/public-git/misc:
  timeout.c: Fix exit codes; useful message on exec failure.