summaryrefslogtreecommitdiff
path: root/.settings/org.eclipse.jdt.core.prefs
diff options
context:
space:
mode:
authorTobias Kellner <tobias.kellner@iaik.tugraz.at>2014-11-27 20:39:31 +0100
committerTobias Kellner <tobias.kellner@iaik.tugraz.at>2014-11-27 20:44:08 +0100
commit5a1446b990fd874b00ec2e52c896ded57f657575 (patch)
tree258355dff4fbd05e96866f486b1ab8330685b942 /.settings/org.eclipse.jdt.core.prefs
parentf75dac6bc90f8019baeec224df06cb91e4cc15f6 (diff)
downloadpdf-over-5a1446b990fd874b00ec2e52c896ded57f657575.tar.gz
pdf-over-5a1446b990fd874b00ec2e52c896ded57f657575.tar.bz2
pdf-over-5a1446b990fd874b00ec2e52c896ded57f657575.zip
Change target environment to Java 1.7
Diffstat (limited to '.settings/org.eclipse.jdt.core.prefs')
0 files changed, 0 insertions, 0 deletions