diff options
author | Pierre-Charles David | 2013-12-12 13:48:21 +0000 |
---|---|---|
committer | Pierre-Charles David | 2013-12-20 08:25:21 +0000 |
commit | 45d0dd20ae7481a8967067ca7d9ff7948d047c7b (patch) | |
tree | 548e6e0088d72ac1721a67fab8ff676d86f56b60 /plugins/org.eclipse.sirius.ext.base/.settings/org.eclipse.jdt.core.prefs | |
parent | e085626645326f613614f5c4b861fbc6e2f656c2 (diff) | |
download | org.eclipse.sirius-45d0dd20ae7481a8967067ca7d9ff7948d047c7b.tar.gz org.eclipse.sirius-45d0dd20ae7481a8967067ca7d9ff7948d047c7b.tar.xz org.eclipse.sirius-45d0dd20ae7481a8967067ca7d9ff7948d047c7b.zip |
[423051] Introduce sirius.ext.base and move a few basic classes into it
Change-Id: I76684fc6b132ba51cb492980d8449fe4b4c0442c
Signed-off-by: Pierre-Charles David <pierre-charles.david@obeo.fr>
Diffstat (limited to 'plugins/org.eclipse.sirius.ext.base/.settings/org.eclipse.jdt.core.prefs')
-rw-r--r-- | plugins/org.eclipse.sirius.ext.base/.settings/org.eclipse.jdt.core.prefs | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/plugins/org.eclipse.sirius.ext.base/.settings/org.eclipse.jdt.core.prefs b/plugins/org.eclipse.sirius.ext.base/.settings/org.eclipse.jdt.core.prefs new file mode 100644 index 0000000000..c537b63063 --- /dev/null +++ b/plugins/org.eclipse.sirius.ext.base/.settings/org.eclipse.jdt.core.prefs @@ -0,0 +1,7 @@ +eclipse.preferences.version=1 +org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled +org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.6 +org.eclipse.jdt.core.compiler.compliance=1.6 +org.eclipse.jdt.core.compiler.problem.assertIdentifier=error +org.eclipse.jdt.core.compiler.problem.enumIdentifier=error +org.eclipse.jdt.core.compiler.source=1.6 |