Merge branch 'releases/Release_2_11_3_Branch'
[jalview.git] / .settings / org.eclipse.buildship.core.prefs
1 arguments=
2 auto.sync=false
3 build.scans.enabled=false
4 connection.gradle.distribution=GRADLE_DISTRIBUTION(WRAPPER)
5 connection.project.dir=
6 eclipse.preferences.version=1
7 gradle.user.home=
8 java.home=
9 jvm.arguments=
10 offline.mode=false
11 override.workspace.settings=false
12 show.console.view=false
13 show.executions.view=false