summaryrefslogtreecommitdiff
path: root/.settings/org.eclipse.jdt.core.prefs
AgeCommit message (Collapse)Author
2023-10-25Tweak for new setupbjculkin
2022-09-27Minor updateBen Culkin
2020-04-05Fix up eclipse settingsBen Culkin
Do some minor changes to the eclipse project config