equal
deleted
inserted
replaced
|
1 <?xml version="1.0" encoding="utf-8"?> |
|
2 <?eclipse version="3.4"?> |
|
3 <plugin> |
|
4 <extension point="org.eclipse.help.toc"> |
|
5 <toc file="toc.xml" primary="true"/> |
|
6 </extension> |
|
7 <extension |
|
8 point="org.eclipse.ui.helpSupport"> |
|
9 </extension> |
|
10 </plugin> |