diff options
Diffstat (limited to 'plugins/facet/org.eclipse.papyrus.emf.facet.efacet.doc/plugin.xml')
| -rw-r--r-- | plugins/facet/org.eclipse.papyrus.emf.facet.efacet.doc/plugin.xml | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/plugins/facet/org.eclipse.papyrus.emf.facet.efacet.doc/plugin.xml b/plugins/facet/org.eclipse.papyrus.emf.facet.efacet.doc/plugin.xml new file mode 100644 index 00000000000..d268aa50cf8 --- /dev/null +++ b/plugins/facet/org.eclipse.papyrus.emf.facet.efacet.doc/plugin.xml @@ -0,0 +1,19 @@ +<?xml version="1.0" encoding="UTF-8"?> +<?eclipse version="3.4"?> +<!-- + Copyright (c) 2012 CEA LIST. + + All rights reserved. This program and the accompanying materials + are made available under the terms of the Eclipse Public License v1.0 + which accompanies this distribution, and is available at + http://www.eclipse.org/legal/epl-v10.html + + Contributors: + Nicolas Bros (Mia-Software) - Bug 375789 - Documentation +--> +<plugin> + <extension point="org.eclipse.help.toc"> + <toc file="toc-user.xml" primary="false"/> + <toc file="toc-dev.xml" primary="false"/> + </extension> +</plugin> |