2021-01-12 23:39:08 +02:00
|
|
|
target "jgit-4.18" with source configurePhase
|
2020-11-20 12:05:08 +02:00
|
|
|
|
2021-11-19 10:23:12 +02:00
|
|
|
include "projects/jetty-10.0.x.tpd"
|
2022-07-23 13:10:40 +03:00
|
|
|
include "orbit/S20220726152247.tpd"
|
2020-11-20 12:05:08 +02:00
|
|
|
|
2020-12-17 23:26:46 +02:00
|
|
|
location "https://download.eclipse.org/releases/2020-12/" {
|
2020-11-20 12:05:08 +02:00
|
|
|
org.eclipse.osgi lazy
|
|
|
|
}
|