summaryrefslogtreecommitdiff
path: root/.settings/org.eclipse.core.resources.prefs
AgeCommit message (Expand)AuthorFilesLines
2022-09-30delete eclipse settings that really should've never been part of the repoJakob Heher1-2/+0
2013-04-10Eclipse preferences update: eclipse junotkellner1-1/+0
2013-04-10Refactoringtkellner1-0/+3