Merge commit '1d9e1c80fb6c0e32313a976ae0065fd32639f2bc' into mrg_dev_282
[jalview.git] / .settings / org.eclipse.jdt.ui.prefs
2014-10-10 gmungocJAL-1551 project-specific settings
2014-10-10 gmungocJAL-1551 proposed project settings for code cleanup...