diff configure @ 589:e37d76c3242f

Don't sandbox by default
author Chris Cannam
date Fri, 06 Sep 2019 11:06:18 +0100
parents f52766aa747b
children 08859cbcd879
line wrap: on
line diff