diff configure @ 1056:b4fd6c67fce5 3.0-integration

Comments and minor tidy
author Chris Cannam
date Mon, 13 Jun 2016 11:44:08 +0100
parents 3691af49291c
children
line wrap: on
line diff