comparison configure @ 403:732afc16cdd6

And a further win32 fix
author Chris Cannam
date Tue, 16 Jun 2015 13:01:59 +0100
parents 7d59dd1ba5de
children 3bfc44d26963
comparison
equal deleted inserted replaced
402:f23dd109144f 403:732afc16cdd6