| commit | fca01276f3200e5349d2114f29e65d7de8e99c01 | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan.herrmann@berlin.de> | Tue May 03 20:24:55 2016 +0200 |
| committer | Stephan Herrmann <stephan.herrmann@berlin.de> | Tue May 03 21:43:51 2016 +0200 |
| tree | 07bf8d189ee04f694479971ae15bbffe23395aef | |
| parent | 4ab536cbb23a76aa4cc16a260992fba68b0d1175 [diff] [blame] |
Bug 462605: [otdre] running OTDT on OTDRE - explicitly configure all OT/J plugins for OTDRE
diff --git a/plugins/org.eclipse.objectteams.otdt/.settings/org.eclipse.jdt.core.prefs b/plugins/org.eclipse.objectteams.otdt/.settings/org.eclipse.jdt.core.prefs index b680c08..bdbce9c 100644 --- a/plugins/org.eclipse.objectteams.otdt/.settings/org.eclipse.jdt.core.prefs +++ b/plugins/org.eclipse.objectteams.otdt/.settings/org.eclipse.jdt.core.prefs
@@ -74,3 +74,4 @@ org.eclipse.jdt.core.compiler.problem.unusedWarningToken=warning org.eclipse.jdt.core.compiler.problem.varargsArgumentNeedCast=warning org.eclipse.jdt.core.compiler.source=1.7 +org.eclipse.objectteams.otdt.compiler.option.weaving_scheme=OTDRE