JAL-3148 add all options to colour menu
[jalview.git] / src / jalview / jbgui / .cvsignore
1 #GPreferences.java#
2 .#GPreferences.java.1.20
3 .#GPreferences.java.1.22