diff options
| author | David Pursehouse <david.pursehouse@gmail.com> | 2018-10-19 10:42:21 +0900 |
|---|---|---|
| committer | David Pursehouse <david.pursehouse@gmail.com> | 2018-10-19 10:42:26 +0900 |
| commit | 2a21b330d62af21a73b7d9846841cb01d7510083 (patch) | |
| tree | 04afc8c0231486d5d0ab4d0ab92ed44a20b165d1 | |
| parent | ffa237e7dbd56df2f28d45113fe0ea03337900f1 (diff) | |
| parent | 27acb4ab258300ae1125d740a48d13dadff85ac8 (diff) | |
| download | jgit-2a21b330d62af21a73b7d9846841cb01d7510083.tar.gz jgit-2a21b330d62af21a73b7d9846841cb01d7510083.zip | |
Merge branch 'stable-4.2' into stable-4.3stable-4.3
* stable-4.2:
JGit v4.0.3.201509231615-r
Change-Id: Ic90ef74497afee9da4b49dcb53302b4efa5b9f26
Signed-off-by: David Pursehouse <david.pursehouse@gmail.com>
0 files changed, 0 insertions, 0 deletions