diff options
Diffstat (limited to 'features/papyrus-main-features/org.eclipse.papyrus.doc.feature/feature.xml')
| -rw-r--r-- | features/papyrus-main-features/org.eclipse.papyrus.doc.feature/feature.xml | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/features/papyrus-main-features/org.eclipse.papyrus.doc.feature/feature.xml b/features/papyrus-main-features/org.eclipse.papyrus.doc.feature/feature.xml index ec17b1f1d1e..0959651196e 100644 --- a/features/papyrus-main-features/org.eclipse.papyrus.doc.feature/feature.xml +++ b/features/papyrus-main-features/org.eclipse.papyrus.doc.feature/feature.xml @@ -83,6 +83,13 @@ install-size="0" version="0.0.0" unpack="false"/> + + <plugin + id="org.eclipse.papyrus.infra.services.navigation.doc" + download-size="0" + install-size="0" + version="0.0.0" + unpack="false"/> <plugin id="org.eclipse.papyrus.infra.architecture.doc" |