#Thu Oct 02 20:39:55 EDT 2008
@org.eclipse.debug.ui=3.3.2.v20080117_r332
@org.eclipse.ui.ide=3.3.2.M20080207-0800
@org.python.pydev=1.3.19

/instance/org.python.pydev/NUMBER_COLOR=204,255,51
/instance/org.python.pydev/BACKQUOTES_COLOR=255,255,255
/instance/org.python.pydev/COMMENT_COLOR=153,51,204
/instance/org.python.pydev/CODE_COLOR=255,255,255
/instance/org.python.pydev/CLASS_NAME_COLOR=255,204,0
/instance/org.python.pydev/KEYWORD_COLOR=255,102,0
/instance/org.python.pydev/SELF_COLOR=255,255,0
/instance/org.python.pydev/FUNC_NAME_COLOR=255,204,0


/instance/org.eclipse.ui.editors/overviewRuler_migration=migrated_3.1
/instance/org.eclipse.ui.editors/AbstractTextEditor.Color.SelectionForeground=82,82,82
/instance/org.eclipse.ui.editors/AbstractTextEditor.Color.SelectionForeground.SystemDefault=false
/instance/org.eclipse.ui.editors/AbstractTextEditor.Color.SelectionBackground=153,153,153
/instance/org.eclipse.ui.editors/AbstractTextEditor.Color.Background=0,0,0
/instance/org.eclipse.ui.editors/AbstractTextEditor.Color.Foreground=255,255,255
/instance/org.eclipse.ui.editors/AbstractTextEditor.Color.Foreground.SystemDefault=false
/instance/org.eclipse.ui.editors/AbstractTextEditor.Color.Background.SystemDefault=false
/instance/org.eclipse.ui.editors/lineNumberRuler=true
/instance/org.eclipse.ui.editors/AbstractTextEditor.Color.SelectionBackground.SystemDefault=false
/instance/org.eclipse.ui.editors/lineNumberColor=255,255,255
/instance/org.eclipse.ui.editors/printMargin=true
/instance/org.eclipse.ui.editors/printMarginColor=255,0,0
/instance/org.eclipse.ui.workbench/ColorsAndFontsPreferencePage.selectedElement=Forg.eclipse.jface.textfont

/instance/org.eclipse.core.resources/version=1
@org.eclipse.core.resources=3.3.1.R33x_v20080205
@org.eclipse.ui.workbench=3.3.2.M20080207-0800
file_export_version=3.0

@org.eclipse.core.net=1.0.1.r33x_20070709
@org.eclipse.ui.editors=3.3.2.r332_20080109-0800
@org.eclipse.ui=3.3.1.M20071128-0800