Mercurial > hg > fulltextSearch
annotate .settings/org.eclipse.jdt.core.prefs @ 2:2b29b0b6db16 default tip
Version mit integrierter Suche ?ber XML-Volltexte
author | dwinter |
---|---|
date | Wed, 26 Jan 2011 14:41:09 +0100 |
parents | 5c9c31510f0c |
children |
rev | line source |
---|---|
1
5c9c31510f0c
CLOSED - # 16: Zeige nur eine konfigurierbare Anzahl von Treffern an.
dwinter
parents:
diff
changeset
|
1 #Wed Aug 11 10:00:53 CEST 2010 |
5c9c31510f0c
CLOSED - # 16: Zeige nur eine konfigurierbare Anzahl von Treffern an.
dwinter
parents:
diff
changeset
|
2 eclipse.preferences.version=1 |
5c9c31510f0c
CLOSED - # 16: Zeige nur eine konfigurierbare Anzahl von Treffern an.
dwinter
parents:
diff
changeset
|
3 org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled |
5c9c31510f0c
CLOSED - # 16: Zeige nur eine konfigurierbare Anzahl von Treffern an.
dwinter
parents:
diff
changeset
|
4 org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.5 |
5c9c31510f0c
CLOSED - # 16: Zeige nur eine konfigurierbare Anzahl von Treffern an.
dwinter
parents:
diff
changeset
|
5 org.eclipse.jdt.core.compiler.codegen.unusedLocal=preserve |
5c9c31510f0c
CLOSED - # 16: Zeige nur eine konfigurierbare Anzahl von Treffern an.
dwinter
parents:
diff
changeset
|
6 org.eclipse.jdt.core.compiler.compliance=1.6 |
5c9c31510f0c
CLOSED - # 16: Zeige nur eine konfigurierbare Anzahl von Treffern an.
dwinter
parents:
diff
changeset
|
7 org.eclipse.jdt.core.compiler.debug.lineNumber=generate |
5c9c31510f0c
CLOSED - # 16: Zeige nur eine konfigurierbare Anzahl von Treffern an.
dwinter
parents:
diff
changeset
|
8 org.eclipse.jdt.core.compiler.debug.localVariable=generate |
5c9c31510f0c
CLOSED - # 16: Zeige nur eine konfigurierbare Anzahl von Treffern an.
dwinter
parents:
diff
changeset
|
9 org.eclipse.jdt.core.compiler.debug.sourceFile=generate |
5c9c31510f0c
CLOSED - # 16: Zeige nur eine konfigurierbare Anzahl von Treffern an.
dwinter
parents:
diff
changeset
|
10 org.eclipse.jdt.core.compiler.problem.assertIdentifier=error |
5c9c31510f0c
CLOSED - # 16: Zeige nur eine konfigurierbare Anzahl von Treffern an.
dwinter
parents:
diff
changeset
|
11 org.eclipse.jdt.core.compiler.problem.enumIdentifier=error |
5c9c31510f0c
CLOSED - # 16: Zeige nur eine konfigurierbare Anzahl von Treffern an.
dwinter
parents:
diff
changeset
|
12 org.eclipse.jdt.core.compiler.source=1.5 |