2019-08-26 00:01:38 +03:00
|
|
|
target "jgit-4.12" with source configurePhase
|
|
|
|
|
2020-01-15 17:14:17 +02:00
|
|
|
include "projects/jetty-9.4.x.tpd"
|
2020-01-27 02:46:19 +02:00
|
|
|
include "orbit/I20200126235943.tpd"
|
2019-08-26 00:01:38 +03:00
|
|
|
|
|
|
|
location "http://download.eclipse.org/releases/2019-06/" {
|
|
|
|
org.eclipse.osgi lazy
|
|
|
|
}
|