diff config.pri.in @ 852:948203d84888

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