dif is never used
authoramwaterhouse <Andrew Waterhouse>
Mon, 7 May 2007 13:59:27 +0000 (13:59 +0000)
committeramwaterhouse <Andrew Waterhouse>
Mon, 7 May 2007 13:59:27 +0000 (13:59 +0000)
commite3f8c52e98012a263e444ce8a105b1731a62c4a8
treebe0e84703520e77f87fa1ed7b503f6d33de2f918
parent3414b2b982143500ab5c8afb7f575288b1f4fce4
dif is never used
src/jalview/gui/AnnotationLabels.java