remove name of progress bar when stopping ws refresh progress.
[jalview.git] / resources / .cvsignore
1 axisCommons
2 jalview_mapping.xml