diff sv.pch @ 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 652b22dcd4ed
children
line wrap: on
line diff