diff .tonioni @ 713:ce698f8d0831

Avoid floating-point exception when stopping after models deleted
author Chris Cannam
date Fri, 11 Oct 2019 13:40:54 +0100
parents 7b11d68cf143
children
line wrap: on
line diff