| 1234567 |
- eclipse.preferences.version=1
- esidekeywords=acoreos;true;RGB {128, 0, 255};true;false;false;
- semanticHighlighting.esidekeyword.color=100,100,100
- semanticHighlighting.esidekeyword.enabled=true
- spelling_locale_initialized=true
- useAnnotationsPrefPage=true
- useQuickDiffPrefPage=true
|
