Merge branch 'Jalview-JS/develop' into merge_js_develop
[jalview.git] / src / jalview / ws / jws2 / PreferredServiceRegistry.java
2020-07-20 Mateusz WarownyJAL-3690 alternative servers menu fix
2019-10-03 Jim ProcterJAL-3070 alignment analysis service worker UI and setti...