diff configure @ 1034:44726e088590

Revert last commit (wrong branch)
author Chris Cannam
date Tue, 02 Feb 2016 10:31:04 +0000
parents 9fc23e778bfa
children 3691af49291c
line wrap: on
line diff