diff options
Diffstat (limited to 'org.eclipse.jgit.packaging/org.eclipse.jgit.target/jgit-4.12.tpd')
| -rw-r--r-- | org.eclipse.jgit.packaging/org.eclipse.jgit.target/jgit-4.12.tpd | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/org.eclipse.jgit.packaging/org.eclipse.jgit.target/jgit-4.12.tpd b/org.eclipse.jgit.packaging/org.eclipse.jgit.target/jgit-4.12.tpd new file mode 100644 index 0000000000..cff602607a --- /dev/null +++ b/org.eclipse.jgit.packaging/org.eclipse.jgit.target/jgit-4.12.tpd @@ -0,0 +1,8 @@ +target "jgit-4.12" with source configurePhase + +include "projects/jetty-9.4.14.tpd" +include "orbit/R20190602212107-2019-06.tpd" + +location "https://download.eclipse.org/releases/2019-06/" { + org.eclipse.osgi lazy +} |