chiark / gitweb /
pull-mail: add --force option; extend running times
authorColin Watson <cjwatson@chiark.greenend.org.uk>
Mon, 18 Feb 2013 17:48:06 +0000 (17:48 +0000)
committerColin Watson <cjwatson@chiark.greenend.org.uk>
Mon, 18 Feb 2013 17:48:06 +0000 (17:48 +0000)
commitd2464a0fc4345255c35e7d5379edaa6806e7e93b
tree58b85f85d1ab2ea48172ad9582da437ce6934282
parent17f06f59993002f4f639c0686d7f45ce28a94270
pull-mail: add --force option; extend running times
pull-mail