Merge branch 'Jalview-JS/develop' into merge_js_develop
[jalview.git] / src / jalview / ws / params / simple /
drwxr-xr-x   ..
-rw-r--r-- 1835 BooleanOption.java
-rw-r--r-- 1503 DoubleParameter.java
-rw-r--r-- 883 FileParameter.java
-rw-r--r-- 2338 IntegerParameter.java
-rw-r--r-- 1678 LogarithmicParameter.java
-rw-r--r-- 4453 Option.java
-rw-r--r-- 1390 RadioChoiceParameter.java
-rw-r--r-- 2001 StringParameter.java