2020-05-27 00:36:05 +03:00
|
|
|
target "jgit-4.15" with source configurePhase
|
|
|
|
|
|
|
|
include "projects/jetty-9.4.x.tpd"
|
2021-08-26 21:42:26 +03:00
|
|
|
include "orbit/R20210825222808-2021-09.tpd"
|
2020-05-27 00:36:05 +03:00
|
|
|
|
|
|
|
location "https://download.eclipse.org/releases/2020-03/202003181000/" {
|
|
|
|
org.eclipse.osgi lazy
|
|
|
|
}
|