org.eclipse.jdt.ui.prefs

FreeRTOS is a portable, open source, mini Real Time Kernel - a free to download and royalty free RTO

#Tue Aug 05 13:17:49 BST 2008
useQuickDiffPrefPage=true
proposalOrderMigrated=true
tabWidthPropagated=true
content_assist_proposals_background=255,255,255
org.eclipse.jdt.ui.javadoclocations.migrated=true
useAnnotationsPrefPage=true
spelling_locale=en_GB
org.eclipse.jdt.internal.ui.navigator.layout=2
org.eclipse.jface.textfont=1|Courier New|10.0|0|WINDOWS|1|0|0|0|0|0|0|0|0|1|0|0|0|0|Courier New;
org.eclipse.jdt.ui.editor.tab.width=
org.eclipse.jdt.ui.formatterprofiles.version=11
content_assist_number_of_computers=9
spelling_locale_initialized=true
eclipse.preferences.version=1
content_assist_proposals_foreground=0,0,0
fontPropagated=true