diff options
| author | Andreas Abraham <aabraham@iaik.tugraz.at> | 2018-05-04 13:14:25 +0200 |
|---|---|---|
| committer | Andreas Abraham <aabraham@iaik.tugraz.at> | 2018-05-04 13:14:25 +0200 |
| commit | 274f22c0c81d626a834703d4074f86b9d3772492 (patch) | |
| tree | 3d78c954334133b875f2a6d71a9b83f407475905 /.settings/org.eclipse.jdt.core.prefs | |
| parent | c6ca20512f6cc12355ca62b2ae2a491bfcf3cd95 (diff) | |
| download | pdf-over-274f22c0c81d626a834703d4074f86b9d3772492.tar.gz pdf-over-274f22c0c81d626a834703d4074f86b9d3772492.tar.bz2 pdf-over-274f22c0c81d626a834703d4074f86b9d3772492.zip | |
pdf-over_win-cli.bat script added
Diffstat (limited to '.settings/org.eclipse.jdt.core.prefs')
| -rw-r--r-- | .settings/org.eclipse.jdt.core.prefs | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/.settings/org.eclipse.jdt.core.prefs b/.settings/org.eclipse.jdt.core.prefs index a73cd2a8..8b7c3b59 100644 --- a/.settings/org.eclipse.jdt.core.prefs +++ b/.settings/org.eclipse.jdt.core.prefs @@ -1,15 +1,6 @@ eclipse.preferences.version=1 -org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled -org.eclipse.jdt.core.compiler.codegen.methodParameters=do not generate -org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.8 -org.eclipse.jdt.core.compiler.codegen.unusedLocal=preserve -org.eclipse.jdt.core.compiler.compliance=9 -org.eclipse.jdt.core.compiler.debug.lineNumber=generate -org.eclipse.jdt.core.compiler.debug.localVariable=generate -org.eclipse.jdt.core.compiler.debug.sourceFile=generate org.eclipse.jdt.core.compiler.doc.comment.support=enabled org.eclipse.jdt.core.compiler.problem.annotationSuperInterface=warning -org.eclipse.jdt.core.compiler.problem.assertIdentifier=error org.eclipse.jdt.core.compiler.problem.autoboxing=ignore org.eclipse.jdt.core.compiler.problem.comparingIdentical=warning org.eclipse.jdt.core.compiler.problem.deadCode=warning @@ -18,7 +9,6 @@ org.eclipse.jdt.core.compiler.problem.deprecationInDeprecatedCode=disabled org.eclipse.jdt.core.compiler.problem.deprecationWhenOverridingDeprecatedMethod=disabled org.eclipse.jdt.core.compiler.problem.discouragedReference=warning org.eclipse.jdt.core.compiler.problem.emptyStatement=ignore -org.eclipse.jdt.core.compiler.problem.enumIdentifier=error org.eclipse.jdt.core.compiler.problem.fallthroughCase=ignore org.eclipse.jdt.core.compiler.problem.fatalOptionalError=disabled org.eclipse.jdt.core.compiler.problem.fieldHiding=ignore @@ -92,7 +82,6 @@ org.eclipse.jdt.core.compiler.problem.unusedParameterWhenOverridingConcrete=disa org.eclipse.jdt.core.compiler.problem.unusedPrivateMember=warning org.eclipse.jdt.core.compiler.problem.unusedWarningToken=warning org.eclipse.jdt.core.compiler.problem.varargsArgumentNeedCast=warning -org.eclipse.jdt.core.compiler.source=1.8 org.eclipse.jdt.core.compiler.taskCaseSensitive=enabled org.eclipse.jdt.core.compiler.taskPriorities=NORMAL,HIGH,NORMAL,LOW org.eclipse.jdt.core.compiler.taskTags=TODO,FIXME,XXX,NOTE |