annotate .metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.jdt.ui.prefs @ 473:2a0b468ce1dd prerelease

build_pd_heavy now looks for file in heavy/render.cpp instead of heavy_render.cpp
author Giulio Moro <giuliomoro@yahoo.it>
date Mon, 20 Jun 2016 18:35:47 +0100
parents 8a575ba3ab52
children
rev   line source
andrewm@0 1 content_assist_proposals_background=255,255,255
andrewm@0 2 content_assist_proposals_foreground=60,60,60
andrewm@0 3 eclipse.preferences.version=1
andrewm@0 4 fontPropagated=true
andrewm@0 5 org.eclipse.jdt.internal.ui.navigator.layout=2
andrewm@0 6 org.eclipse.jdt.ui.editor.tab.width=
andrewm@0 7 org.eclipse.jdt.ui.formatterprofiles.version=12
andrewm@0 8 org.eclipse.jdt.ui.javadoclocations.migrated=true
andrewm@0 9 org.eclipse.jface.textfont=1|Monospace|10.0|0|GTK|1|;
andrewm@0 10 proposalOrderMigrated=true
andrewm@0 11 spelling_locale_initialized=true
andrewm@0 12 tabWidthPropagated=true
andrewm@0 13 useAnnotationsPrefPage=true
andrewm@0 14 useQuickDiffPrefPage=true