| changeset 229 | 716254ccbcc0 |
| parent 220 | 41890dfa56f5 |
| 228:913c9751c067 | 229:716254ccbcc0 |
|---|---|
5 point="org.eclipse.help.toc"> |
5 point="org.eclipse.help.toc"> |
6 <toc |
6 <toc |
7 file="toc.xml" |
7 file="toc.xml" |
8 primary="true"> |
8 primary="true"> |
9 </toc> |
9 </toc> |
10 <toc |
|
11 file="WRT_Doc.xml"> |
|
12 </toc> |
|
13 </extension> |
10 </extension> |
14 <extension |
11 <extension |
15 point="org.eclipse.ui.helpSupport"> |
12 point="org.eclipse.ui.helpSupport"> |
16 </extension> |
13 </extension> |
17 |
14 |