Merge branch 'develop' into development/Release_2_12_Branch_JAL-4102_21126_merge
[jalview.git] / src / jalview / ws / params / simple / FileParameter.java
2018-05-30 gmungocJAL-3005 new argument type FileParameter for file chooser