chiark / gitweb /
improve an error message; fix fetch when we have already fetched
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 17 Aug 2013 15:52:07 +0000 (16:52 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 17 Aug 2013 15:52:07 +0000 (16:52 +0100)
commit92ed16906cd40e617219fb63807d1f37bb679b0e
treedad60e1d0c290be56cd1438bc808832f3741776c
parent00a244b9078b88e899fc00c6d799bdd601c40c70
improve an error message; fix fetch when we have already fetched
dgit