comparison configure @ 433:720f732e8082 cxx11

Merge from default branch
author Chris Cannam
date Tue, 03 Mar 2015 09:33:59 +0000
parents 7a671befc76d
children 272316dc853a 72c662fe7ea3
comparison
equal deleted inserted replaced
421:7a671befc76d 433:720f732e8082