diff configure @ 525:37d4e1b84a67

Introduce noconfig file
author Chris Cannam
date Tue, 11 Jul 2017 08:57:13 +0100
parents 9fc762aafd01
children 12d36dcfbbfb
line wrap: on
line diff