mirror da
https://github.com/eclipse-aspectj/aspectj.git
synced 2024-07-25 22:34:45 +02:00
23 righe
523 B
XML
23 righe
523 B
XML
|
<?xml version="1.0" encoding="UTF-8"?>
|
||
|
<plugin
|
||
|
id="org.aspectj.ajde.doc"
|
||
|
name="%pluginName"
|
||
|
version="build.version.eclipse.plugins"
|
||
|
provider-name="%providerName">
|
||
|
|
||
|
<runtime>
|
||
|
</runtime>
|
||
|
|
||
|
<requires>
|
||
|
<import plugin="org.eclipse.help"/>
|
||
|
</requires>
|
||
|
|
||
|
<extension point="org.eclipse.help.toc">
|
||
|
<toc file="toc.xml" primary="true"/>
|
||
|
<toc file="toc_ajquickref.xml"/>
|
||
|
<toc file="toc_ajprogguide.xml"/>
|
||
|
<toc file="toc_ajsemantics.xml"/>
|
||
|
</extension>
|
||
|
|
||
|
</plugin>
|