diff configure @ 475:e2716b9352ca

Fixes to a few unusual cases in RealTime
author Chris Cannam
date Tue, 15 Nov 2016 16:53:46 +0000
parents 5502a06537f6
children 7097dee94492
line wrap: on
line diff