diff deploy/linux/fix-lintian-bits.sh @ 852:948203d84888

Ignore cov-int directory
author Chris Cannam
date Fri, 12 Sep 2014 11:39:28 +0100
parents c764dd0df6ec
children 129b679734d0
line wrap: on
line diff