diff bootstrap.sh @ 454:3e2a2ca24d90

Avoid going pop when setting play head to before time 0
author Chris Cannam
date Thu, 21 May 2015 15:31:12 +0100
parents 78336f4b8935
children
line wrap: on
line diff