diff options
Diffstat (limited to 'plugins/doc/org.eclipse.papyrus.uml.search.ui.doc/resource/search-toc.xml')
-rw-r--r-- | plugins/doc/org.eclipse.papyrus.uml.search.ui.doc/resource/search-toc.xml | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/plugins/doc/org.eclipse.papyrus.uml.search.ui.doc/resource/search-toc.xml b/plugins/doc/org.eclipse.papyrus.uml.search.ui.doc/resource/search-toc.xml deleted file mode 100644 index 200de63be1a..00000000000 --- a/plugins/doc/org.eclipse.papyrus.uml.search.ui.doc/resource/search-toc.xml +++ /dev/null @@ -1,6 +0,0 @@ -<?xml version='1.0' encoding='utf-8' ?> -<toc label="search" topic="resource/search.html"> - <topic href="resource/search.html" label="Search elements"></topic> - <topic href="resource/search.html#Replace_String" label="Replace String"></topic> - <topic href="resource/search.html#Filter" label="Filter"></topic> -</toc> |