changeset 220 | 41890dfa56f5 |
child 229 | 716254ccbcc0 |
219:42e9659b68d1 | 220:41890dfa56f5 |
---|---|
1 <?xml version="1.0" encoding="UTF-8"?> |
|
2 <?eclipse version="3.4"?> |
|
3 <plugin> |
|
4 <extension |
|
5 point="org.eclipse.help.toc"> |
|
6 <toc |
|
7 file="toc.xml" |
|
8 primary="true"> |
|
9 </toc> |
|
10 <toc |
|
11 file="WRT_Doc.xml"> |
|
12 </toc> |
|
13 </extension> |
|
14 <extension |
|
15 point="org.eclipse.ui.helpSupport"> |
|
16 </extension> |
|
17 |
|
18 </plugin> |