summaryrefslogtreecommitdiff
path: root/.settings/org.eclipse.jdt.core.prefs
AgeCommit message (Expand)Author
2023-10-25Tweak for new setupbjculkin
2022-09-27Minor changesBen Culkin
2020-10-05Minor cleanupBen Culkin
2020-03-30Clean up warningsBen Culkin