diff configure @ 1335:47768571681e 3.0-integration

Fix printf format
author Chris Cannam
date Tue, 03 Jan 2017 13:04:47 +0000
parents 0ad516dc5d8d
children
line wrap: on
line diff