summaryrefslogtreecommitdiff
path: root/.settings/org.eclipse.jdt.core.prefs
diff options
context:
space:
mode:
authorTobias Kellner <tobias.kellner@iaik.tugraz.at>2016-10-10 18:35:33 +0200
committerTobias Kellner <tobias.kellner@iaik.tugraz.at>2016-10-25 17:00:13 +0200
commit5962867b411bc53bf14938b0312414f040986b54 (patch)
tree91c25af9dd61249f047f0567e0f72b87abda3091 /.settings/org.eclipse.jdt.core.prefs
parent1f614332bcd103229f15f51157a52824005fba96 (diff)
downloadpdf-over-5962867b411bc53bf14938b0312414f040986b54.tar.gz
pdf-over-5962867b411bc53bf14938b0312414f040986b54.tar.bz2
pdf-over-5962867b411bc53bf14938b0312414f040986b54.zip
Cache (and scale) custom emblem images
Diffstat (limited to '.settings/org.eclipse.jdt.core.prefs')
0 files changed, 0 insertions, 0 deletions