git://source.jalview.org / jalview.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6003472) | patch
JAL-3103 Removed code and unused widgets for defaultBrowser
authorBen Soares <b.soares@dundee.ac.uk>
Tue, 8 Mar 2022 12:14:45 +0000 (12:14 +0000)
committerBen Soares <b.soares@dundee.ac.uk>
Tue, 8 Mar 2022 12:14:45 +0000 (12:14 +0000)
commit5837c2892545c25ef5a8bc75248a997b96cc8e4e
tree4642fbc8dee41c8cccb185d5bfd7c697ad252d99tree | snapshot
parent6003472b3bf23fb34988fb45bef9dc78e0fd5bbdcommit | diff
JAL-3103 Removed code and unused widgets for defaultBrowser
src/jalview/bin/Jalview.java diff | blob | history
src/jalview/gui/Preferences.java diff | blob | history
src/jalview/jbgui/GPreferences.java diff | blob | history