diff options
| author | Matthias Sohn <matthias.sohn@sap.com> | 2019-06-12 16:29:11 +0200 |
|---|---|---|
| committer | Matthias Sohn <matthias.sohn@sap.com> | 2019-06-12 16:29:11 +0200 |
| commit | 3dad0682be8899f32923f338163c6a6f4cddeb11 (patch) | |
| tree | 9326374f8cee81997469e612dfcbe75404fda43b /org.eclipse.jgit/.settings/org.eclipse.jdt.ui.prefs | |
| parent | 0e9361f06651bbc3d83bade35afd04caae9edc0c (diff) | |
| download | jgit-3dad0682be8899f32923f338163c6a6f4cddeb11.tar.gz jgit-3dad0682be8899f32923f338163c6a6f4cddeb11.zip | |
JGit v5.4.0.201906121030-rv5.4.0.201906121030-r
Change-Id: Ie68828af68d07cf8e3fe778d39436f539f1c73d0
Signed-off-by: Matthias Sohn <matthias.sohn@sap.com>
Diffstat (limited to 'org.eclipse.jgit/.settings/org.eclipse.jdt.ui.prefs')
0 files changed, 0 insertions, 0 deletions