chiark / gitweb /
Merge branch 'master' of git.distorted.org.uk:~mdw/publish/public-git/misc
authorMark Wooding <mdw@distorted.org.uk>
Fri, 10 Jan 2014 14:46:06 +0000 (14:46 +0000)
committerMark Wooding <mdw@distorted.org.uk>
Fri, 10 Jan 2014 14:46:06 +0000 (14:46 +0000)
commited9fbd4e74d974c1961bcacf7a271bf7f170c9b8
treec3c30409627a029b54fce99e0ce7a8918a41f478
parent4641d6e29bb77342a80a494484f5575ad39bf3f8
parent8fe55a253066dac15e7f36325500d1d99043bf9a
Merge branch 'master' of git.distorted.org.uk:~mdw/publish/public-git/misc

* 'master' of git.distorted.org.uk:~mdw/publish/public-git/misc:
  space.c: Fix trailing-newline misreporting in `-c' mode.
  space.[c1]: Document the `-v' option finally.