comparison configure @ 852:948203d84888

Ignore cov-int directory
author Chris Cannam
date Fri, 12 Sep 2014 11:39:28 +0100
parents 6fadabe80ad8
children 93a770ecfc98
comparison
equal deleted inserted replaced
848:9f82fa990cbd 852:948203d84888