diff bootstrap.sh @ 55:0837a914e2d5

Can safely delete null pointer (the crash was because the pointer wasn't null)
author Chris Cannam
date Tue, 16 Jul 2013 18:02:03 +0100
parents 158f40a613a5
children
line wrap: on
line diff