1<project xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
2 xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/maven-v4_0_0.xsd">
3 <modelVersion>4.0.0</modelVersion>
4 <groupId>org.idris-lang</groupId>
5 <artifactId>$ARTIFACT-NAME$</artifactId>
6 <packaging>jar</packaging>
8 <name>$ARTIFACT-NAME$</name>
11 <project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
12 <skipTests>true</skipTests>
16 <groupId>org.idris-lang</groupId>
17 <artifactId>idris</artifactId>
18 <version>0.9.10-alpha-1</version>
25 <finalName>$ARTIFACT-NAME$</finalName>
28 <groupId>org.apache.maven.plugins</groupId>
29 <artifactId>maven-compiler-plugin</artifactId>
30 <version>3.0</version>
37 <groupId>org.apache.maven.plugins</groupId>
38 <artifactId>maven-surefire-plugin</artifactId>
39 <version>2.14</version>
41 <skipTests>${skipTests}</skipTests>
45 <groupId>org.apache.maven.plugins</groupId>
46 <artifactId>maven-shade-plugin</artifactId>
47 <version>2.1</version>
50 <phase>package</phase>
56 <transformer implementation="org.apache.maven.plugins.shade.resource.ManifestResourceTransformer">
57 <mainClass>$MAIN-CLASS$</mainClass>
keysesc to close
- j k
- move down, up
- enter
- open
- esc
- back, or up a level
- 1 2 3 4
- readme, files, commits, refs
- /
- filter
- y
- copy the clone command
- c
- compare the chosen commit with another (or shift-click both)
- ?
- show or hide this list