diff options
| author | Andreas Abraham <andreas.abraham@egiz.gv.at> | 2018-07-03 09:46:27 +0200 |
|---|---|---|
| committer | Andreas Abraham <andreas.abraham@egiz.gv.at> | 2018-07-03 09:46:27 +0200 |
| commit | b51897ef7c7886a2cdc5b4dcfb0ac8d692c9d458 (patch) | |
| tree | dc8d97b874597a061055e2216bffe64cd17c5832 /pdf-over-gui/.settings/org.eclipse.jdt.ui.prefs | |
| parent | ecafae15fbe17acb670ef5958371c797e8419e0c (diff) | |
| download | pdf-over-b51897ef7c7886a2cdc5b4dcfb0ac8d692c9d458.tar.gz pdf-over-b51897ef7c7886a2cdc5b4dcfb0ac8d692c9d458.tar.bz2 pdf-over-b51897ef7c7886a2cdc5b4dcfb0ac8d692c9d458.zip | |
workaround for special linux case with java 8 in outputcomposite
Diffstat (limited to 'pdf-over-gui/.settings/org.eclipse.jdt.ui.prefs')
0 files changed, 0 insertions, 0 deletions