reinstated the splitpanes with better size placement, and made tooltips button labels...
[jalview.git] / RELEASE
1 jalview.release=-r Release_2_5_Branch\r
2 jalview.version=2.5.1\r
3 \r