Merge branch 'develop' into features/mchmmer
[jalview.git] / src / jalview / ws / params / simple / DoubleParameter.java
2018-04-20 gmungocJAL-591 OptionBox FlowLayout, tweaks to wrapping of...
2017-08-25 TZVanaaltenJAL-2629 add basic parameter adjustment to hmmsearch...