diff options
| author | David Pursehouse <david.pursehouse@gmail.com> | 2019-12-25 11:13:23 +0000 |
|---|---|---|
| committer | David Pursehouse <david.pursehouse@gmail.com> | 2019-12-25 11:13:23 +0000 |
| commit | cff427bd9a447445ae98424ec1648abbfd78e06e (patch) | |
| tree | 10026b95ae631390442d992fc9f101a58d4ae84c /org.eclipse.jgit.benchmarks/.settings/org.eclipse.jdt.core.prefs | |
| parent | eeca0196ab4ee25d24f82182276dabd499f1a2c0 (diff) | |
| download | jgit-cff427bd9a447445ae98424ec1648abbfd78e06e.tar.gz jgit-cff427bd9a447445ae98424ec1648abbfd78e06e.zip | |
Upgrade ecj to 3.20.0
Change-Id: Ic72d05567d4c90f3d720a166afe99148fb003592
Signed-off-by: David Pursehouse <david.pursehouse@gmail.com>
Diffstat (limited to 'org.eclipse.jgit.benchmarks/.settings/org.eclipse.jdt.core.prefs')
0 files changed, 0 insertions, 0 deletions