diff options
| author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2015-07-11 17:39:43 +0100 |
|---|---|---|
| committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2015-07-11 19:31:19 +0100 |
| commit | 86a8ff1a0f02829b07bf7cd2fdd198ce612b37d4 (patch) | |
| tree | 06a8c1da59df13e26d5156f32dbd6c8c993a95f2 /dgit.7 | |
| parent | 37bf4bc96cb4d67b9e22177e77c6d99283354e66 (diff) | |
Mirroring: Tolerate missing .a file when tidying mirror
Diffstat (limited to 'dgit.7')
0 files changed, 0 insertions, 0 deletions