diff bootstrap.sh @ 195:3f7c65f26559

Fixes from last merge
author Chris Cannam
date Wed, 26 Aug 2015 21:46:52 +0100
parents 94d988cef54e
children
line wrap: on
line diff