JAL-3111 JAL-3280 hide the version check preference option in ‘Connections’ tab
authorJim Procter <jprocter@issues.jalview.org>
Tue, 2 Jul 2019 22:18:13 +0000 (23:18 +0100)
committerJim Procter <jprocter@issues.jalview.org>
Tue, 2 Jul 2019 22:18:13 +0000 (23:18 +0100)
commite7c9f2a10d2d700121595539f2d9385a5043d7fe
tree59310f532d1ac9d497bdd149092ca16454a2267a
parent28a1247c88a7cc31a836da99a1d795072ca543a7
JAL-3111 JAL-3280 hide the version check preference option in ‘Connections’ tab
src/jalview/jbgui/GPreferences.java