chiark / gitweb /
Mirroring: Tolerate missing .a file when tidying mirror
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 11 Jul 2015 16:39:43 +0000 (17:39 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 11 Jul 2015 18:31:19 +0000 (19:31 +0100)
commit86a8ff1a0f02829b07bf7cd2fdd198ce612b37d4
tree06a8c1da59df13e26d5156f32dbd6c8c993a95f2
parent37bf4bc96cb4d67b9e22177e77c6d99283354e66
Mirroring: Tolerate missing .a file when tidying mirror
infra/dgit-mirror-rsync