diff options
| author | David Pursehouse <david.pursehouse@gmail.com> | 2018-09-12 14:05:46 +0900 |
|---|---|---|
| committer | David Pursehouse <david.pursehouse@gmail.com> | 2018-09-12 14:05:54 +0900 |
| commit | db756e914708ff29d93c2cba040aa19ea1a485c6 (patch) | |
| tree | 245f501b66174077943d1c1f6570d287ee6e148f /org.eclipse.jgit/src/org/eclipse/jgit/lib/BaseRepositoryBuilder.java | |
| parent | 81735222c94069edb0e0434b717ab87011b51901 (diff) | |
| parent | 667ac8b3189336efbdb0484e212c36beb4ed5338 (diff) | |
| download | jgit-db756e914708ff29d93c2cba040aa19ea1a485c6.tar.gz jgit-db756e914708ff29d93c2cba040aa19ea1a485c6.zip | |
Merge branch 'stable-4.7' into stable-4.8
* stable-4.7:
Fix NoSuchFileException during directory cleanup in RefDirectory
Externalize warning message in RefDirectory.delete()
Suppress warning for trying to delete non-empty directory
Change-Id: I9ec6352b5ff57aa1a3380079dc9165890cc76d49
Signed-off-by: David Pursehouse <david.pursehouse@gmail.com>
Diffstat (limited to 'org.eclipse.jgit/src/org/eclipse/jgit/lib/BaseRepositoryBuilder.java')
0 files changed, 0 insertions, 0 deletions