JAL-3111 tidied up preferences dialog documentation
authorJim Procter <jprocter@issues.jalview.org>
Tue, 2 Jul 2019 22:11:00 +0000 (23:11 +0100)
committerJim Procter <jprocter@issues.jalview.org>
Tue, 2 Jul 2019 22:11:00 +0000 (23:11 +0100)
commit28a1247c88a7cc31a836da99a1d795072ca543a7
treefd836e1cfb396dc508bee83914d37d16a9f162d5
parentd51be22c3cf234acc50645be296bcaf930d595e3
JAL-3111 tidied up preferences dialog documentation
help/help/html/features/preferences.html