view deploy/linux/remember-to-run-lintian @ 1355:86cd0e81ed07 subdivide-instants

Implement "Subdivide Selected Instants". Also add the relabel command to the history, which I previously forgot to do!
author Chris Cannam
date Fri, 25 Nov 2016 09:38:53 +0000
parents 5ddf310f61c1
children
line wrap: on
line source