diff options
| author | David Pursehouse <david.pursehouse@gmail.com> | 2018-09-12 15:55:07 +0900 |
|---|---|---|
| committer | David Pursehouse <david.pursehouse@gmail.com> | 2018-09-12 15:55:07 +0900 |
| commit | b81092cc99f6c31fd6894263f1b4eb8038d5ed5f (patch) | |
| tree | 616aed1061be829f7678d4458a19fd51f62b67c7 /org.eclipse.jgit/src/org/eclipse/jgit/api/PullCommand.java | |
| parent | de0a6879484e1a31dee4ccc5ad2ca9856d6b0746 (diff) | |
| parent | db756e914708ff29d93c2cba040aa19ea1a485c6 (diff) | |
| download | jgit-b81092cc99f6c31fd6894263f1b4eb8038d5ed5f.tar.gz jgit-b81092cc99f6c31fd6894263f1b4eb8038d5ed5f.zip | |
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>
Diffstat (limited to 'org.eclipse.jgit/src/org/eclipse/jgit/api/PullCommand.java')
0 files changed, 0 insertions, 0 deletions