Merge branch 'patch/JAL-3700_JAL-3748_JAL-3763_for_2_11_1_3' into releases/Release_2_...
[jalview.git] / utils / eclipse / org.eclipse.jdt.core.jalview.prefs
2020-03-26 Ben SoaresJAL-3225 All of .settings now gitignored. org.eclipse...