summaryrefslogtreecommitdiff
path: root/.settings
AgeCommit message (Expand)AuthorFilesLines
2022-09-30delete eclipse settings that really should've never been part of the repoJakob Heher4-97/+0
2018-05-04pdf-over_win-cli.bat script addedAndreas Abraham1-11/+0
2018-04-17bugfix in infoboxAndreas Abraham1-0/+11
2017-12-11POM ChangesBianca Schnalzer2-12/+0
2013-04-10Eclipse preferences update: eclipse junotkellner1-1/+0
2013-04-10Refactoringtkellner4-0/+110