Skip to content
Snippets Groups Projects
Select Git revision
  • ec1229b9d3995f8b517e7e70c4adc30c4d07dc39
  • dev default protected
  • main protected
  • feature/ros-java-integration
4 results

tokenComponent.mustache

Blame
  • plugin.xml 302 B
    <?xml version="1.0" encoding="UTF-8"?>
    <?eclipse version="3.0"?>
    <plugin>
      <extension point="org.eclipse.sirius.componentization">
        <component class="swt.most.sirius.petrinet.Activator"
                   id="swt.most.sirius.petrinet"
    	       name="petrinet">
        </component>
      </extension>
    </plugin>