diff COPYING @ 1487:71202259002d

Round the zero-point value -- won't make a difference for longer fader widgets, but it's convenient for the level-pan widget when we have 0-10 and want zero at 8 rather than 7
author Chris Cannam
date Mon, 25 Jun 2018 14:12:27 +0100
parents c224dfa749a2
children
line wrap: on
line diff