diff sv.pro @ 208:0b4d563d7469

* Remove alignment button altogether if no Match plugin installed. Then it won't annoy people who really don't want it; they can get rid of it easily enough.
author Chris Cannam
date Thu, 01 Nov 2007 17:24:38 +0000
parents 688604a2c038
children 1fa0d271fd2c ddbde90773b0
line wrap: on
line diff