2020-11-20 12:05:08 +02:00
|
|
|
target "jgit-4.17" with source configurePhase
|
|
|
|
|
2021-11-19 10:23:12 +02:00
|
|
|
include "projects/jetty-10.0.x.tpd"
|
2022-11-23 11:32:51 +02:00
|
|
|
include "orbit/R20221123021534-2022-12.tpd"
|
2020-11-20 12:05:08 +02:00
|
|
|
|
|
|
|
location "https://download.eclipse.org/releases/2020-09/" {
|
|
|
|
org.eclipse.osgi lazy
|
|
|
|
}
|