Merge branch 'develop' into features/JAL-3010ontologyFeatureSettings
[jalview.git] / help / help / html / features / preferences.html
2019-07-02 Jim ProcterJAL-3111 tidied up preferences dialog documentation
2019-04-25 Ben SoaresJAL-3224 JAL-3225 Fixed help image mangling, moved...