diff icons/help.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 834ff910e3d2
children
line wrap: on
line diff