summaryrefslogtreecommitdiff
path: root/pdf-over-gui/.settings
diff options
context:
space:
mode:
Diffstat (limited to 'pdf-over-gui/.settings')
-rw-r--r--pdf-over-gui/.settings/org.eclipse.jdt.core.prefs2
1 files changed, 1 insertions, 1 deletions
diff --git a/pdf-over-gui/.settings/org.eclipse.jdt.core.prefs b/pdf-over-gui/.settings/org.eclipse.jdt.core.prefs
index c2132b91..5c287dd2 100644
--- a/pdf-over-gui/.settings/org.eclipse.jdt.core.prefs
+++ b/pdf-over-gui/.settings/org.eclipse.jdt.core.prefs
@@ -5,7 +5,7 @@ org.eclipse.jdt.core.compiler.annotation.nonnullbydefault=org.eclipse.jdt.annota
org.eclipse.jdt.core.compiler.annotation.nullable=org.eclipse.jdt.annotation.Nullable
org.eclipse.jdt.core.compiler.annotation.nullanalysis=disabled
org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
-org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.6
+org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.7
org.eclipse.jdt.core.compiler.codegen.unusedLocal=preserve
org.eclipse.jdt.core.compiler.compliance=1.6
org.eclipse.jdt.core.compiler.debug.lineNumber=generate