Skip to content
Snippets Groups Projects
Select Git revision
  • 8f8db742ff22b3359058470cd26ece7adbf4bd65
  • develop default
  • release protected
  • v0.x
  • v2.2.0
  • v2.1.0
6 results

package.json

Blame
  • Code owners
    Assign users and groups as approvers for specific file changes. Learn more.
    This project manages its dependencies using npm. Learn more
    pom.xml 616 B
    <?xml version="1.0" encoding="UTF-8"?>
    <project xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd">
    	<modelVersion>4.0.0</modelVersion>
    
    	<parent>
    		<groupId>org.eventb.texteditor</groupId>
    		<artifactId>org.eventb.texteditor.parent</artifactId>
    		<version>3.5.2-SNAPSHOT</version>
    		<relativePath>../org.eventb.texteditor.parent/pom.xml</relativePath>
    	</parent>
    
    	<artifactId>org.eventb.texteditor.feature</artifactId>
    	<packaging>eclipse-feature</packaging>
    </project>