diff options
| author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2017-01-08 02:11:57 +0000 |
|---|---|---|
| committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2017-01-08 22:14:48 +0000 |
| commit | c35d643a5117ac3ed2d4966a0db0427266e924b9 (patch) | |
| tree | 5811390fcd5db0d44c676b64f93676e9caf69936 /local-pod-man | |
| parent | 2ecbfc70bba339e0475b745f5d5615675e427370 (diff) | |
git fetching: Do not crash if nothing we wanted to fetch exists
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Diffstat (limited to 'local-pod-man')
0 files changed, 0 insertions, 0 deletions