This repository has been archived on 2022-02-10. You can view files and clone it, but cannot push or open issues or pull requests.
|
eclipse.preferences.version=1
|
|
overviewRuler_migration=migrated_3.1
|
|
spellingEngine=org.eclipse.jdt.internal.ui.text.spelling.DefaultSpellingEngine
|