Select Git revision
-
Sajjad Ghaffarinasabsharabiani authoredSajjad Ghaffarinasabsharabiani authored
Code owners
Assign users and groups as approvers for specific file changes. 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>