Merge branch 'improvement/JAL-3280_Migrate_the_VersionChecker_service_to_build_proper...
[jalview.git] / utils / eclipse / org.eclipse.jdt.core.jalview.prefs
2020-03-26 Ben SoaresJAL-3225 All of .settings now gitignored. org.eclipse...