diff options
Diffstat (limited to 'plugins/customization/org.eclipse.papyrus.customization/src/org/eclipse/papyrus/customization/plugin/PluginEditor.java')
| -rw-r--r-- | plugins/customization/org.eclipse.papyrus.customization/src/org/eclipse/papyrus/customization/plugin/PluginEditor.java | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/plugins/customization/org.eclipse.papyrus.customization/src/org/eclipse/papyrus/customization/plugin/PluginEditor.java b/plugins/customization/org.eclipse.papyrus.customization/src/org/eclipse/papyrus/customization/plugin/PluginEditor.java index 3cea09bd032..028a0e3073b 100644 --- a/plugins/customization/org.eclipse.papyrus.customization/src/org/eclipse/papyrus/customization/plugin/PluginEditor.java +++ b/plugins/customization/org.eclipse.papyrus.customization/src/org/eclipse/papyrus/customization/plugin/PluginEditor.java @@ -44,10 +44,6 @@ public class PluginEditor extends PluginProjectEditor implements IPluginProjectE init();
}
- public void disableFormatting() {
- manifest.disableFormatting();
- }
-
public PluginProjectEditor getPluginEditor() {
return this;
}
|