diff options
Diffstat (limited to 'plugins/doc/org.eclipse.papyrus.infra.services.controlmode.doc/.settings/org.eclipse.pde.core.prefs')
-rw-r--r-- | plugins/doc/org.eclipse.papyrus.infra.services.controlmode.doc/.settings/org.eclipse.pde.core.prefs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/plugins/doc/org.eclipse.papyrus.infra.services.controlmode.doc/.settings/org.eclipse.pde.core.prefs b/plugins/doc/org.eclipse.papyrus.infra.services.controlmode.doc/.settings/org.eclipse.pde.core.prefs index b1bb1fc6f3d..706f07e8a5d 100644 --- a/plugins/doc/org.eclipse.papyrus.infra.services.controlmode.doc/.settings/org.eclipse.pde.core.prefs +++ b/plugins/doc/org.eclipse.papyrus.infra.services.controlmode.doc/.settings/org.eclipse.pde.core.prefs @@ -1,3 +1,3 @@ -eclipse.preferences.version=1
-pluginProject.extensions=true
-resolve.requirebundle=false
+eclipse.preferences.version=1 +pluginProject.extensions=true +resolve.requirebundle=false |