summaryrefslogtreecommitdiffstats
path: root/pom.xml
diff options
context:
space:
mode:
authorMatthias Sohn <matthias.sohn@sap.com>2018-12-27 01:16:15 +0100
committerMatthias Sohn <matthias.sohn@sap.com>2018-12-27 01:16:15 +0100
commit510011b05caea84908f9687d5cb632bc4ad73c41 (patch)
tree3a0df7ef5a7a586b16b756424b46a6b107cf0493 /pom.xml
parent53ab1188d50149a22b2589e6017aba259f77b10b (diff)
downloadjgit-5.1.5.201812261915-r.tar.gz
jgit-5.1.5.201812261915-r.zip
JGit v5.1.5.201812261915-rv5.1.5.201812261915-r
Change-Id: I249a440d1ca1c997343da942ae55fcb27a645b92 Signed-off-by: Matthias Sohn <matthias.sohn@sap.com>
Diffstat (limited to 'pom.xml')
-rw-r--r--pom.xml2
1 files changed, 1 insertions, 1 deletions
diff --git a/pom.xml b/pom.xml
index 904e1d094e..ec6716517d 100644
--- a/pom.xml
+++ b/pom.xml
@@ -51,7 +51,7 @@
<groupId>org.eclipse.jgit</groupId>
<artifactId>org.eclipse.jgit-parent</artifactId>
<packaging>pom</packaging>
- <version>5.1.5-SNAPSHOT</version>
+ <version>5.1.5.201812261915-r</version>
<name>JGit - Parent</name>
<url>${jgit-url}</url>