2019-01-26 01:34:08 +02:00
|
|
|
target "jgit-4.10" with source configurePhase
|
|
|
|
|
2019-08-26 01:46:22 +03:00
|
|
|
include "projects/jetty-9.4.20.tpd"
|
2019-09-05 11:27:51 +03:00
|
|
|
include "orbit/R20190827152740-2019-09.tpd"
|
2019-01-26 01:34:08 +02:00
|
|
|
|
|
|
|
location "http://download.eclipse.org/releases/2018-12/" {
|
|
|
|
org.eclipse.osgi lazy
|
|
|
|
}
|