| <?xml version="1.0" encoding="UTF-8"?> | |
| <?eclipse version="3.0"?> | |
| <plugin> | |
| <extension point="org.eclipse.sirius.ui.editor.sessionEditorPageProvider"> | |
| <pageProvider class="org.eclipse.sirius.workflow.ui.page.WorkflowPageProvider" /> | |
| </extension> | |
| </plugin> |