comparison deploy/linux/deploy-deb.sh @ 973:f5afed675182

Avoid going pop when setting play head to before time 0
author Chris Cannam
date Thu, 21 May 2015 15:31:12 +0100
parents d47aa2977d7a
children 8b63b44c3a91
comparison
equal deleted inserted replaced
972:6de30e8baa74 973:f5afed675182