| <?xml version="1.0" encoding="UTF-8"?> |
| |
| <!-- This file is only used at build time since this plug-in has been deactivated. --> |
| |
| <plugin |
| name = "%pluginName" |
| id="org.eclipse.ant.ui" |
| version="2.0.0" |
| provider-name = "%providerName" |
| class="org.eclipse.ant.internal.ui.AntUIPlugin"> |
| |
| <requires> |
| <import plugin="org.apache.ant"/> |
| <import plugin="org.eclipse.ant.core"/> |
| <import plugin="org.eclipse.core.resources"/> |
| <import plugin="org.eclipse.ui"/> |
| </requires> |
| |
| <runtime> |
| <library name="antui.jar"> |
| <export name = "*"/> |
| </library> |
| </runtime> |
| |
| </plugin> |