2018-10-30 01:19:11 +02:00
|
|
|
target "jgit-4.9" with source configurePhase
|
|
|
|
|
2019-01-13 00:02:11 +02:00
|
|
|
include "projects/jetty-9.4.14.tpd"
|
2018-12-05 16:25:23 +02:00
|
|
|
include "orbit/R20181128170323-2018-12.tpd"
|
2018-10-30 01:19:11 +02:00
|
|
|
|
|
|
|
location "http://download.eclipse.org/releases/2018-09/" {
|
|
|
|
org.eclipse.osgi lazy
|
|
|
|
}
|