refactored navigation logic to be more fool-proof
[svjatoslav_commons.git] / .settings / org.eclipse.jdt.ui.prefs
1 eclipse.preferences.version=1
2 formatter_settings_version=12