diff options
| author | David Pursehouse | 2018-10-19 01:38:48 +0000 |
|---|---|---|
| committer | David Pursehouse | 2018-10-19 01:38:55 +0000 |
| commit | aebc8a41b8dfd3eb3e37e7ebe4c39719fb94c2a4 (patch) | |
| tree | 02e78fd87bf3eb5212c7ff431242f18186e6c899 | |
| parent | 29159f1171c4930128ab0557836e856ce8cba6c8 (diff) | |
| parent | 78a2bafdc90b7c613643f78dd1ff0926334e5407 (diff) | |
| download | jgit-stable-4.1.tar.gz jgit-stable-4.1.tar.xz jgit-stable-4.1.zip | |
Merge branch 'stable-4.0' into stable-4.1stable-4.1
* stable-4.0:
JGit v4.0.3.201509231615-r
Change-Id: Ie74b0392ef145ffd27dc903c45f7fec2d4492a17
Signed-off-by: David Pursehouse <david.pursehouse@gmail.com>
0 files changed, 0 insertions, 0 deletions