| <?xml version="1.0" encoding="UTF-8"?> |
| <?NLS TYPE="org.eclipse.help.toc"?> |
| <!-- ===================================== --> |
| <!-- Define topics for the Tips and Tricks --> |
| <!-- ===================================== --> |
| <toc label="Tips and tricks"> |
| <topic label="Workbench" href="tips/platform_tips.html#Workbench"/> |
| <topic label="Editing" href="tips/platform_tips.html#Editing"/> |
| <topic label="Ant" href="tips/platform_tips.html#Ant"/> |
| <topic label="Help" href="tips/platform_tips.html#Help"/> |
| <topic label="Version Control (Team)" href="tips/platform_tips.html#Team"/> |
| </toc> |