Details
Description
Buildship automatically reads in project settings from the eclipse task in build.gradle.
Some settings are read in from utils/eclipse/org.eclipse.jdt.core.jalview.prefs but locally needed settings could be read in from local_eclipse.properties afterwards (and override other settings). These would be project specific.
local_eclipse.properties should be added to .gitignore
Some settings are read in from utils/eclipse/org.eclipse.jdt.core.jalview.prefs but locally needed settings could be read in from local_eclipse.properties afterwards (and override other settings). These would be project specific.
local_eclipse.properties should be added to .gitignore