[tools/siman.git] / Workspace / .metadata / .plugins / org.eclipse.core.runtime / .settings / org.eclipse.help.ui.prefs

#Wed Sep 19 15:11:05 MSD 2012
browser.x=66
browser.w=1024
eclipse.preferences.version=1
browser.h=768
browser.maximized=false
browser.y=66