summaryrefslogtreecommitdiff
path: root/.settings/org.eclipse.jdt.core.prefs
AgeCommit message (Expand)Author
2024-06-05Minor tweaksBenjamin Culkin
2023-10-25Tweak for new setupbjculkin
2022-09-27Minor changesBen Culkin
2020-04-05Fix up eclipse configBen Culkin