diff configure @ 645:6240788893e7 single-point

Build fix for single-point changes
author Chris Cannam
date Fri, 08 Mar 2019 13:37:51 +0000
parents f7ec9e410108
children
line wrap: on
line diff