| <?xml version="1.0" encoding="UTF-8"?> | |
| <fragment | |
| id="org.eclipse.ui.win32" | |
| name="%Win32Fragment.fragmentName" | |
| version="3.0.0" | |
| provider-name="%Plugin.providerName" | |
| plugin-id="org.eclipse.ui.workbench" | |
| plugin-version="3.0.0"> | |
| <runtime> | |
| <library name="workbenchwin32.jar"> | |
| <export name="*"/> | |
| </library> | |
| </runtime> | |
| </fragment> |