summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorIan Jackson <ijackson@chiark.greenend.org.uk>2015-07-11 17:39:43 +0100
committerIan Jackson <ijackson@chiark.greenend.org.uk>2015-07-11 19:31:19 +0100
commit86a8ff1a0f02829b07bf7cd2fdd198ce612b37d4 (patch)
tree06a8c1da59df13e26d5156f32dbd6c8c993a95f2 /.gitignore
parent37bf4bc96cb4d67b9e22177e77c6d99283354e66 (diff)
Mirroring: Tolerate missing .a file when tidying mirror
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions