use new file filter
authoramwaterhouse <Andrew Waterhouse>
Fri, 18 Mar 2005 16:09:26 +0000 (16:09 +0000)
committeramwaterhouse <Andrew Waterhouse>
Fri, 18 Mar 2005 16:09:26 +0000 (16:09 +0000)
commit505e70d1af8a25642843387160b1ef199c5cbb04
tree5fc8340768f641abc38fd0730c3973f6e2e29ed8
parent279ba0fea22587564af5250cfd69e679fa5515bc
use new file filter
src/jalview/io/HTMLOutput.java