comparison configure @ 435:618d5816b04d cxx11

More type fixes
author Chris Cannam
date Tue, 10 Mar 2015 13:22:10 +0000
parents 7a671befc76d
children 272316dc853a 72c662fe7ea3
comparison
equal deleted inserted replaced
434:dee4aceb131c 435:618d5816b04d