diff configure @ 1236:784c92f93fb6

Looks like we can be a bit more relaxed here
author Chris Cannam
date Fri, 27 Jan 2017 11:57:48 +0000
parents 3691af49291c
children
line wrap: on
line diff