fix size issue when re-sizing text with mouse wheel + ctrl
[jalview.git] / forester / .gitignore
1 /bin/