git://source.jalview.org / jalview.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7692386) | patch
final merge for merge/wsinterfaces_mchmmer_JAL-3070_JAL-1950
authorJim Procter <jprocter@issues.jalview.org>
Mon, 23 Jul 2018 09:34:18 +0000 (10:34 +0100)
committerJim Procter <jprocter@issues.jalview.org>
Mon, 23 Jul 2018 09:34:18 +0000 (10:34 +0100)
commit8e3058ad282e731b0846576a8efbcd8f922d0c69
tree99f0f248e7c003e1f363304b10f1f12ad98cf21atree | snapshot
parent7692386ccfe778075dd83a753d30a7a27fe507becommit | diff
 final merge for merge/wsinterfaces_mchmmer_JAL-3070_JAL-1950
 Changes to be committed:
modified:   src/jalview/gui/WsJobParameters.java
src/jalview/gui/WsJobParameters.java diff | blob | history