diff options
| author | Matthias Sohn <matthias.sohn@sap.com> | 2019-05-08 20:28:19 +0200 |
|---|---|---|
| committer | Matthias Sohn <matthias.sohn@sap.com> | 2019-05-08 20:28:19 +0200 |
| commit | b172015b231e5493e2a33dedabdbd20b5dbbd1a7 (patch) | |
| tree | b31663aa6a487a08649a5611f417fdab38de5bdd /org.eclipse.jgit.pgm/.settings/org.eclipse.jdt.ui.prefs | |
| parent | c33d2bfb9f5d0f407bb736fafe2fa8ff93309e93 (diff) | |
| download | jgit-5.4.0.201905081430-m2.tar.gz jgit-5.4.0.201905081430-m2.zip | |
JGit v5.4.0.201905081430-m2v5.4.0.201905081430-m2
Change-Id: I535a98d8ef507d3c8cda7b0f042a2ae835da1279
Signed-off-by: Matthias Sohn <matthias.sohn@sap.com>
Diffstat (limited to 'org.eclipse.jgit.pgm/.settings/org.eclipse.jdt.ui.prefs')
0 files changed, 0 insertions, 0 deletions