Merge branch 'develop' into features/JAL-892varnaToProject
[jalview.git] / src / jalview / gui / HTMLOptions.java
2014-12-22 Jim ProcterMerge: 497958b 68dcaa7
2014-12-05 Charles OfoegbuChange the Html export to utilize svg