Matthias Sohn b48f5739d7 Re-add servlet-api 4.0 to the target platform ... This was removed from the JGit target platform by mistake in 6ca3d219. Change-Id: Iedae0586fb96651255b67ed6dbb9ff7702c0ea54		2023-01-16 14:35:55 +01:00
..
.settings	Avoid warning "no explicit project encoding"	2022-05-26 23:17:44 +02:00
org.eclipse.jgit.feature	Prepare 6.5.0-SNAPSHOT builds	2022-11-23 19:09:33 +01:00
org.eclipse.jgit.gpg.bc.feature	Prepare 6.5.0-SNAPSHOT builds	2022-11-23 19:09:33 +01:00
org.eclipse.jgit.http.apache.feature	Prepare 6.5.0-SNAPSHOT builds	2022-11-23 19:09:33 +01:00
org.eclipse.jgit.junit.feature	Prepare 6.5.0-SNAPSHOT builds	2022-11-23 19:09:33 +01:00
org.eclipse.jgit.lfs.feature	Prepare 6.5.0-SNAPSHOT builds	2022-11-23 19:09:33 +01:00
org.eclipse.jgit.pgm.feature	Prepare 6.5.0-SNAPSHOT builds	2022-11-23 19:09:33 +01:00
org.eclipse.jgit.repository	Prepare 6.5.0-SNAPSHOT builds	2022-11-23 19:09:33 +01:00
org.eclipse.jgit.source.feature	Prepare 6.5.0-SNAPSHOT builds	2022-11-23 19:09:33 +01:00
org.eclipse.jgit.ssh.apache.feature	Prepare 6.5.0-SNAPSHOT builds	2022-11-23 19:09:33 +01:00
org.eclipse.jgit.ssh.jsch.feature	Prepare 6.5.0-SNAPSHOT builds	2022-11-23 19:09:33 +01:00
org.eclipse.jgit.target	Re-add servlet-api 4.0 to the target platform	2023-01-16 14:35:55 +01:00
.project	Make org.eclipse.jgit.packaging a general project	2014-04-28 09:06:58 +02:00
pom.xml	Upgrade maven plugins	2023-01-13 22:26:47 +01:00