remove name of progress bar when stopping ws refresh progress.
[jalview.git] / dist / .cvsignore
2007-08-01 jprocterignore contents of this directory