diff configure @ 1027:ce1077bd663a cxx11

Merge from default branch
author Chris Cannam
date Mon, 09 Feb 2015 10:31:07 +0000
parents dbb7f0ab011e
children dfc1c7cd8297 cc27f35aa75c
line wrap: on
line diff