added URL display for parameters/options and debugged parameter set switching
[jalview.git] / src / jalview / jbgui / .cvsignore
1 #GPreferences.java#
2 .#GPreferences.java.1.20
3 .#GPreferences.java.1.22