diff options
Diffstat (limited to 'opensuse/core/.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.jdt.ui.prefs')
-rw-r--r-- | opensuse/core/.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.jdt.ui.prefs | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/opensuse/core/.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.jdt.ui.prefs b/opensuse/core/.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.jdt.ui.prefs deleted file mode 100644 index 208b1b435..000000000 --- a/opensuse/core/.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.jdt.ui.prefs +++ /dev/null @@ -1,15 +0,0 @@ -#Tue Nov 08 23:25:01 EST 2011 -useQuickDiffPrefPage=true -proposalOrderMigrated=true -tabWidthPropagated=true -content_assist_proposals_background=255,255,255 -org.eclipse.jdt.ui.javadoclocations.migrated=true -useAnnotationsPrefPage=true -org.eclipse.jface.textfont=1|Monospace|10.0|0|GTK|1|; -org.eclipse.jdt.internal.ui.navigator.layout=2 -org.eclipse.jdt.ui.editor.tab.width= -org.eclipse.jdt.ui.formatterprofiles.version=12 -spelling_locale_initialized=true -eclipse.preferences.version=1 -content_assist_proposals_foreground=60,60,60 -fontPropagated=true |