JAL-3141 Fixed vertical size of the example filenames box\! Yay\!
[jalview.git] / src / jalview / jbgui / .cvsignore
1 #GPreferences.java#
2 .#GPreferences.java.1.20
3 .#GPreferences.java.1.22