view .tonioni @ 702:e4d92aaa689c

Abandon ongoing alignment if asked to re-align before it has completed
author Chris Cannam
date Wed, 14 Aug 2019 13:55:12 +0100
parents 7b11d68cf143
children
line wrap: on
line source