diff options
author | Christian W. Damus | 2015-10-16 19:56:37 +0000 |
---|---|---|
committer | Christian W. Damus | 2015-10-16 19:57:02 +0000 |
commit | 2df3454d7cfeab191ce5013dafb3c998bf160a05 (patch) | |
tree | b9833aaf3065fd83e93079f1df9ddab382585b00 /plugins/uml/diagram/org.eclipse.papyrus.uml.diagram.deployment | |
parent | de2968e02ae579ae5f4644716bb75bcd7e586734 (diff) | |
download | org.eclipse.papyrus-2df3454d7cfeab191ce5013dafb3c998bf160a05.tar.gz org.eclipse.papyrus-2df3454d7cfeab191ce5013dafb3c998bf160a05.tar.xz org.eclipse.papyrus-2df3454d7cfeab191ce5013dafb3c998bf160a05.zip |
[Releng] Propagate standard settings to new bundles.
Diffstat (limited to 'plugins/uml/diagram/org.eclipse.papyrus.uml.diagram.deployment')
-rw-r--r-- | plugins/uml/diagram/org.eclipse.papyrus.uml.diagram.deployment/.settings/org.eclipse.jdt.ui.prefs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/plugins/uml/diagram/org.eclipse.papyrus.uml.diagram.deployment/.settings/org.eclipse.jdt.ui.prefs b/plugins/uml/diagram/org.eclipse.papyrus.uml.diagram.deployment/.settings/org.eclipse.jdt.ui.prefs index 71e45e18e0c..954281dbc31 100644 --- a/plugins/uml/diagram/org.eclipse.papyrus.uml.diagram.deployment/.settings/org.eclipse.jdt.ui.prefs +++ b/plugins/uml/diagram/org.eclipse.papyrus.uml.diagram.deployment/.settings/org.eclipse.jdt.ui.prefs @@ -58,6 +58,7 @@ cleanup.use_type_arguments=false cleanup_profile=_Papyrus cleanup_settings_version=2 eclipse.preferences.version=1 +formatter_profile=_Papyrus formatter_settings_version=12 org.eclipse.jdt.ui.ignorelowercasenames=true org.eclipse.jdt.ui.importorder=java;javax;org;com; |