mirror of
https://github.com/eclipse-jgit/jgit.git
synced 2024-07-28 14:16:00 +02:00
5717b2583e
Change-Id: I31d0ba525990cd391b704431212d98ce8b8b3970 Signed-off-by: Matthias Sohn <matthias.sohn@sap.com>
9 lines
212 B
Plaintext
9 lines
212 B
Plaintext
target "jgit-4.11" with source configurePhase
|
|
|
|
include "projects/jetty-9.4.20.tpd"
|
|
include "orbit/R20190827152740-2019-09.tpd"
|
|
|
|
location "http://download.eclipse.org/releases/2019-03/" {
|
|
org.eclipse.osgi lazy
|
|
}
|