JAL-3638 shift+arrow keys in cursor mode jumps cursor in a gapped region to next...
[jalview.git] / benchmarking / .settings / org.eclipse.m2e.core.prefs
1 activeProfiles=
2 eclipse.preferences.version=1
3 resolveWorkspaceProjects=true
4 version=1