Skip to content
Snippets Groups Projects
Select Git revision
  • 040dbd65e8ee96bfeb63fdd019b6daae41d5cb46
  • main default protected
  • ghaffarinasabsharabiani-main-patch-32635
  • ghaffarinasabsharabiani-main-patch-75046
4 results

.gitkeep

Blame
  • 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>