diff .tonioni @ 1572:5f6fdd525158

Cut this down, we don't need the things we were calculating (also avoid possible null pointer dereference of v)
author Chris Cannam
date Wed, 15 Jan 2020 13:58:33 +0000
parents 54f97c0afeec
children
line wrap: on
line diff