chiark / gitweb /
~mdw / misc / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | compact (merge: 3b56e11 3ece3fc)
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)
* 'master' of /home/mdw/public-git/misc:
  timeout.c: Fix exit codes; useful message on exec failure.


Trivial merge
Collection of miscellaneous utilities