David Pursehouse b81092cc99 Merge branch 'stable-4.8' into stable-4.9 ... * stable-4.8: Fix NoSuchFileException during directory cleanup in RefDirectory Externalize warning message in RefDirectory.delete() Suppress warning for trying to delete non-empty directory Change-Id: I5e6cc35f3673545e7ff857e6ed0bcd2c44e50316 Signed-off-by: David Pursehouse <david.pursehouse@gmail.com>		2018-09-12 15:55:07 +09:00
..
gitrepo/internal	ManifestParser: Throw exception if remote does not have fetch attribute	2017-04-10 15:08:32 +02:00
internal	Merge branch 'stable-4.8' into stable-4.9	2018-09-12 15:55:07 +09:00
util/sha1	Move SHA1 compress/recompress files to resource folder	2017-03-18 16:46:58 +01:00