git://source.jalview.org / jalview.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9c1f8ee) | patch
JAL-3633 label.proxy_server -> label.proxy_servers
authorBen Soares <b.soares@dundee.ac.uk>
Tue, 21 Jul 2020 11:41:31 +0000 (12:41 +0100)
committerBen Soares <b.soares@dundee.ac.uk>
Tue, 21 Jul 2020 11:41:31 +0000 (12:41 +0100)
commit077b528a2b2c3314f687f7ced476ff0817067bf8
tree9f20c2e4bc4f18d33c71db8989ba4028788f1a55tree | snapshot
parent9c1f8ee91bd7d4c3caf72449bac65865f18db067commit | diff
JAL-3633 label.proxy_server -> label.proxy_servers
resources/lang/Messages.properties diff | blob | history
resources/lang/Messages_es.properties diff | blob | history
src/jalview/jbgui/GPreferences.java diff | blob | history