equal
deleted
inserted
replaced
|
1 <?xml version="1.0" encoding="UTF-8"?> |
|
2 <?eclipse version="3.2"?> |
|
3 <plugin> |
|
4 <extension |
|
5 point="org.eclipse.core.runtime.preferences"> |
|
6 <initializer class="com.nokia.tools.ui.prefs.UIPreferenceInitializer"/> |
|
7 </extension> |
|
8 </plugin> |