<?xml version="1.0" encoding="UTF-8"?> | |
<?eclipse version="3.2"?> | |
<plugin> | |
<extension | |
point="org.eclipse.ptp.core.resourceManagers"> | |
<resourceManager | |
class="org.eclipse.ptp.rm.pbs.core.rmsystem.PBSServiceProviderFactory" | |
id="org.eclipse.ptp.rm.pbs.resourcemanager" | |
name="PBS"/> | |
</extension> | |
</plugin> |