Thomas Wolf d9e767b431 Suppress warning for trying to delete non-empty directory ... This is actually a fairly common occurrence; deleting the parent directories can work only if the file deleted was the last one in the directory. Bug: 537872 Change-Id: I86d1d45e1e2631332025ff24af8dfd46c9725711 Signed-off-by: Thomas Wolf <thomas.wolf@paranor.ch>		2018-08-22 18:36:31 +02:00
..
.settings	Silence API warnings for reintroduced ResolveMerger#processEntry	2017-12-03 13:58:34 +01:00
META-INF	Prepare 4.9.4-SNAPSHOT builds	2018-07-31 16:57:13 +02:00
findBugs	[findBugs] Silence warning about Transport initialization	2012-09-14 00:01:47 +02:00
resources/org/eclipse/jgit	Merge branch 'stable-4.8' into stable-4.9	2018-07-27 10:52:13 +02:00
src/org/eclipse/jgit	Suppress warning for trying to delete non-empty directory	2018-08-22 18:36:31 +02:00
.classpath	Change JGit minimum execution environment to JavaSE-1.8	2016-09-20 11:32:36 +02:00
.fbprefs	…
.gitignore	…
.project	…
BUILD	Bazel: Restrict src globs to Java source files	2017-04-13 14:14:55 +09:00
about.html	SHA-1: collision detection support	2017-02-28 16:38:43 -08:00
build.properties	…
plugin.properties	Remove incubation marker	2011-05-31 22:53:53 +02:00
pom.xml	Prepare 4.9.4-SNAPSHOT builds	2018-07-31 16:57:13 +02:00