diff icons/fader_leds.png @ 220:474ddd0f4bb4

* Remove sharpen button as well, when using RubberBand (because it isn't connected up anyway)
author Chris Cannam
date Thu, 29 Nov 2007 10:50:13 +0000
parents 40116f709d3b
children
line wrap: on
line diff