diff options
| author | Matthias Sohn <matthias.sohn@sap.com> | 2019-04-20 10:42:58 +0200 |
|---|---|---|
| committer | Matthias Sohn <matthias.sohn@sap.com> | 2019-04-20 10:42:58 +0200 |
| commit | 22e41cfd56d782916bb0432963a108df6cb7793e (patch) | |
| tree | f1f5a5f27bb6714fa98358c5627fc612208f57d8 /org.eclipse.jgit.ui/pom.xml | |
| parent | cf7c49868bda2797d42b67841692aa5599356a90 (diff) | |
| download | jgit-22e41cfd56d782916bb0432963a108df6cb7793e.tar.gz jgit-22e41cfd56d782916bb0432963a108df6cb7793e.zip | |
JGit v5.1.7.201904200442-rv5.1.7.201904200442-r
Change-Id: Ifaa3a88c5e117912a8c691b8b8369dd9a17faebb
Signed-off-by: Matthias Sohn <matthias.sohn@sap.com>
Diffstat (limited to 'org.eclipse.jgit.ui/pom.xml')
| -rw-r--r-- | org.eclipse.jgit.ui/pom.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/org.eclipse.jgit.ui/pom.xml b/org.eclipse.jgit.ui/pom.xml index d94224fc5d..79274fcdb1 100644 --- a/org.eclipse.jgit.ui/pom.xml +++ b/org.eclipse.jgit.ui/pom.xml @@ -52,7 +52,7 @@ <parent> <groupId>org.eclipse.jgit</groupId> <artifactId>org.eclipse.jgit-parent</artifactId> - <version>5.1.7-SNAPSHOT</version> + <version>5.1.7.201904200442-r</version> </parent> <artifactId>org.eclipse.jgit.ui</artifactId> |