diff options
author | Camille Letavernier | 2013-07-24 16:07:05 +0000 |
---|---|---|
committer | Camille Letavernier | 2013-07-24 16:08:49 +0000 |
commit | c77e76590bd61c44a8075ec5a9cddbbf981ae1ed (patch) | |
tree | 6c7a6636da14e93d98f87fd156c2c272b5a139cc /plugins/uml/org.eclipse.papyrus.uml.modelrepair/.settings | |
parent | 6e109e8db7159055446a32881742e152f65bbea6 (diff) | |
download | org.eclipse.papyrus-c77e76590bd61c44a8075ec5a9cddbbf981ae1ed.tar.gz org.eclipse.papyrus-c77e76590bd61c44a8075ec5a9cddbbf981ae1ed.tar.xz org.eclipse.papyrus-c77e76590bd61c44a8075ec5a9cddbbf981ae1ed.zip |
408491: Papyrus shall enable to easily switch between local and
registered profiles.
https://bugs.eclipse.org/bugs/show_bug.cgi?id=408491
Add a menu in the Project Explorer to switch between two profiles
(Local/Registered, Local/Local, ...)
Diffstat (limited to 'plugins/uml/org.eclipse.papyrus.uml.modelrepair/.settings')
-rw-r--r-- | plugins/uml/org.eclipse.papyrus.uml.modelrepair/.settings/org.eclipse.jdt.core.prefs | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/plugins/uml/org.eclipse.papyrus.uml.modelrepair/.settings/org.eclipse.jdt.core.prefs b/plugins/uml/org.eclipse.papyrus.uml.modelrepair/.settings/org.eclipse.jdt.core.prefs new file mode 100644 index 00000000000..44217f8c068 --- /dev/null +++ b/plugins/uml/org.eclipse.papyrus.uml.modelrepair/.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.5
+org.eclipse.jdt.core.compiler.compliance=1.5
+org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
+org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
+org.eclipse.jdt.core.compiler.source=1.5
|