summaryrefslogtreecommitdiff
path: root/.settings/org.eclipse.jdt.core.prefs
AgeCommit message (Expand)AuthorFilesLines
2018-05-04pdf-over_win-cli.bat script addedAndreas Abraham1-11/+0
2018-04-17bugfix in infoboxAndreas Abraham1-0/+11
2017-12-11POM ChangesBianca Schnalzer1-11/+0
2013-04-10Refactoringtkellner1-0/+98